diff options
| author | makc <makc@FreeBSD.org> | 2013-03-23 04:06:14 +0800 |
|---|---|---|
| committer | makc <makc@FreeBSD.org> | 2013-03-23 04:06:14 +0800 |
| commit | 071186fd6d22f1abd16554cae92bf26af9d1cb4e (patch) | |
| tree | b368198f913179c06dafd19ac72527fcf9836f6d /devel/klee | |
| parent | eda1ae8e7cf50659cf0b55fefdcae532e6ad0405 (diff) | |
| download | freebsd-ports-gnome-071186fd6d22f1abd16554cae92bf26af9d1cb4e.tar.gz freebsd-ports-gnome-071186fd6d22f1abd16554cae92bf26af9d1cb4e.tar.zst freebsd-ports-gnome-071186fd6d22f1abd16554cae92bf26af9d1cb4e.zip | |
- convert USE_CMAKE to USES
- while here clean up some ports from CMAKE_VERBOSE, which is intended
for users
Approved by: portmgr (miwi)
Diffstat (limited to 'devel/klee')
| -rw-r--r-- | devel/klee/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/klee/Makefile b/devel/klee/Makefile index 56cd6e79acb8..061026e33eed 100644 --- a/devel/klee/Makefile +++ b/devel/klee/Makefile @@ -16,8 +16,7 @@ RUN_DEPENDS= llvm-ar:${PORTSDIR}/devel/llvm \ OPTIONS_DEFINE= DEBUG -USE_CMAKE= yes -CMAKE_OUTSOURCE=yes +USES= cmake:outsource CMAKE_ARGS= -DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \ -DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE} |