diff options
| author | koobs <koobs@FreeBSD.org> | 2016-06-27 21:41:17 +0800 |
|---|---|---|
| committer | koobs <koobs@FreeBSD.org> | 2016-06-27 21:41:17 +0800 |
| commit | f0f0362ec5988c50f11448fcd3116461e73de811 (patch) | |
| tree | d96a5cd3128ed2b1ee7650d1a5bff775ac55340a /math | |
| parent | 46451017b6f3d2f0427efe63115c1b6967bd8e1a (diff) | |
| download | freebsd-ports-gnome-f0f0362ec5988c50f11448fcd3116461e73de811.tar.gz freebsd-ports-gnome-f0f0362ec5988c50f11448fcd3116461e73de811.tar.zst freebsd-ports-gnome-f0f0362ec5988c50f11448fcd3116461e73de811.zip | |
math/picosat: Update to 965
* Update DISTVERSION and distinfo checksum (965)
* Add CONFIGURE_SCRIPT (filename change to .sh extension)
* Add DEBUG option
* Use --trace, --stats (and --logs) with DEBUG, rather than in the
default (non-debug) build.
* Specify --static explicitly even though its built to avoid possible
future footshooting.
http://fmv.jku.at/picosat/NEWS
Diffstat (limited to 'math')
| -rw-r--r-- | math/picosat/Makefile | 13 | ||||
| -rw-r--r-- | math/picosat/distinfo | 5 |
2 files changed, 13 insertions, 5 deletions
diff --git a/math/picosat/Makefile b/math/picosat/Makefile index a5b862479dfd..61abdac24c27 100644 --- a/math/picosat/Makefile +++ b/math/picosat/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= picosat -DISTVERSION= 957 +DISTVERSION= 965 CATEGORIES= math MASTER_SITES= http://fmv.jku.at/picosat/ @@ -12,9 +12,16 @@ COMMENT= Satisfiability (SAT) solver for boolean variables LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE -USE_LDCONFIG= yes +OPTIONS_DEFINE= DEBUG + +DEBUG_CONFIGURE_ON= --debug --log + +USE_LDCONFIG= yes + HAS_CONFIGURE= yes -CONFIGURE_ARGS= --shared --trace --stats +CONFIGURE_ARGS= --shared --static +CONFIGURE_SCRIPT= configure.sh + MAKEFILE= makefile MAKE_JOBS_UNSAFE= yes diff --git a/math/picosat/distinfo b/math/picosat/distinfo index cfa08da26d36..54a18de92c12 100644 --- a/math/picosat/distinfo +++ b/math/picosat/distinfo @@ -1,2 +1,3 @@ -SHA256 (picosat-957.tar.gz) = 7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822 -SIZE (picosat-957.tar.gz) = 63329 +TIMESTAMP = 1467032430 +SHA256 (picosat-965.tar.gz) = 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 +SIZE (picosat-965.tar.gz) = 64386 |