diff options
Diffstat (limited to 'devel/cheritrace-devel/Makefile')
-rw-r--r-- | devel/cheritrace-devel/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/devel/cheritrace-devel/Makefile b/devel/cheritrace-devel/Makefile index 3d0653fc20c6..6f303b3100dc 100644 --- a/devel/cheritrace-devel/Makefile +++ b/devel/cheritrace-devel/Makefile @@ -11,8 +11,6 @@ COMMENT= Library and tool for interacting with CHERI streamtraces BUILD_DEPENDS= llvm-config-cheri:devel/llvm-cheri LIB_DEPENDS= libLLVMCore.so:devel/llvm-cheri -BROKEN_FreeBSD_9= does not build - USES= cmake compiler:c++11-lib USE_GITHUB= yes GH_ACCOUNT= CTSRD-CHERI |