cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/picosat: Update to 965

Browse Source 
* 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
This commit is contained in:
Kubilay Kocak 2016-06-27 13:41:17 +00:00
parent 639a283517
commit 0bb7303c30
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=417659
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
math/picosat/Makefile
View File

@ -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

5
math/picosat/distinfo
View File

@ -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