diff options
Diffstat (limited to 'devel/cherivis-devel/Makefile')
| -rw-r--r-- | devel/cherivis-devel/Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/devel/cherivis-devel/Makefile b/devel/cherivis-devel/Makefile new file mode 100644 index 000000000000..faa5ad89cf81 --- /dev/null +++ b/devel/cherivis-devel/Makefile @@ -0,0 +1,28 @@ +# $FreeBSD$ + +PORTNAME= cherivis-devel +PORTVERSION= 0.1 +CATEGORIES= devel gnustep + +MAINTAINER= theraven@FreeBSD.org +COMMENT= Visualisation tool for CHERI / BERI streamtraces. + +LICENSE= MIT + +USE_GITHUB= yes +GH_ACCOUNT= CTSRD-CHERI +GH_PROJECT= CheriVis +GH_COMMIT= 9b8ed78 +GH_TAGNAME= ${GH_COMMIT} + +LLVM_VERSION?=34 +BUILD_DEPENDS+= llvm-config${LLVM_VERSION}:${PORTSDIR}/devel/llvm${LLVM_VERSION} + +MAKE_FLAGS+= LLVM_CONFIG=llvm-config${LLVM_VERSION} +USE_GNUSTEP= yes +USE_GNUSTEP_BACK= yes +USE_GNUSTEP_BUILD= yes +USE_GNUSTEP_INSTALL= yes +USE_GNUSTEP_LDCONFIG= ${GNUSTEP_SYSTEM_LIBRARIES} + +.include <bsd.port.mk> |