Changeset View

Standalone View

	Show All 11 Lines
	LICENSE_FILE= ${WRKSRC}/LICENSE.TXT			LICENSE_FILE= ${WRKSRC}/LICENSE.TXT

	BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \			BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
	gmake:devel/gmake			gmake:devel/gmake
	# Should be a LIB_DEPEND, but hard to express in a generic manner			# Should be a LIB_DEPEND, but hard to express in a generic manner
	RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \			RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
	${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}			${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}

	USES= cmake localbase pkgconfig python:3.5+,run shebangfix			USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \
				shebangfix
	USE_GITHUB= yes			USE_GITHUB= yes
	SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool			SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool
	USE_LDCONFIG= yes			USE_LDCONFIG= yes

	CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS			CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
	CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \			CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \
	-DMAKE_BINARY=${LOCALBASE}/bin/gmake			-DMAKE_BINARY=${LOCALBASE}/bin/gmake

	Show All 21 Lines