diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-03-10 17:01:36 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2014-03-10 17:01:36 +0000 |
| commit | 8a7c77fbbd57ecbfd89783ebd805b59f8f2387a8 (patch) | |
| tree | 6d9bf2c42239eb7fa59e3a370ddfad85fecabb87 /science/bddsolve | |
| parent | ae7708b169aa040d2d1177a4ca193ed6a8d60e5d (diff) | |
| download | ports-8a7c77fbbd57ecbfd89783ebd805b59f8f2387a8.tar.gz ports-8a7c77fbbd57ecbfd89783ebd805b59f8f2387a8.zip | |
Notes
Diffstat (limited to 'science/bddsolve')
| -rw-r--r-- | science/bddsolve/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 39b4193bc421..a205eaacda7a 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -14,7 +14,7 @@ COMMENT= BDD-based satisfiability and reachability solver LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \ libboost_program_options.so:${PORTSDIR}/devel/boost-libs -USE_ZIP= yes +USES= zip NO_WRKSUBDIR= yes NO_STAGE= yes |