diff options
Diffstat (limited to 'devel/klee/Makefile')
| -rw-r--r-- | devel/klee/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/klee/Makefile b/devel/klee/Makefile index 0c5947560eb0..405d11e7b10b 100644 --- a/devel/klee/Makefile +++ b/devel/klee/Makefile @@ -22,6 +22,7 @@ USES= cmake:outsource CMAKE_ARGS= -DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \ -DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE} +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDEBUG} |