[97542] trunk/dports/math
mww at macports.org
mww at macports.org
Sat Sep 8 07:56:56 PDT 2012
Revision: 97542
https://trac.macports.org/changeset/97542
Author: mww at macports.org
Date: 2012-09-08 07:56:53 -0700 (Sat, 08 Sep 2012)
Log Message:
-----------
boolector: new port
Added Paths:
-----------
trunk/dports/math/boolector/
trunk/dports/math/boolector/ /
trunk/dports/math/boolector/Portfile
trunk/dports/math/boolector/files/
trunk/dports/math/boolector/files/patch-btorexp.c.diff
trunk/dports/math/boolector/files/patch-btorsat.c.diff
trunk/dports/math/boolector/files/patch-configure.diff
trunk/dports/math/boolector/files/patch-makefile.in.diff
Added: trunk/dports/math/boolector/Portfile
===================================================================
--- trunk/dports/math/boolector/Portfile (rev 0)
+++ trunk/dports/math/boolector/Portfile 2012-09-08 14:56:53 UTC (rev 97542)
@@ -0,0 +1,53 @@
+# $Id$
+
+PortSystem 1.0
+
+name boolector
+version 1.4.1-376e6b0-110304
+categories math science
+platforms darwin
+license GPL-3
+maintainers mww openmaintainer
+description Boolector is an SMT solver for the theory of bit-vectors
+long_description \
+ Boolector is an SMT solver for the theory of bit-vectors and the \
+ extensional theory of arrays over bit-vectors. It won first places in the \
+ prestigious bit-vector and bit-vector with arrays tracks in the SMT \
+ competition 2008. In the latest SMT competition, it won the second place \
+ in the bit-vector division and again the first place in the division of \
+ bit-vectors and arrays.
+
+homepage http://fmv.jku.at/boolector/
+master_sites ${homepage}
+
+checksums rmd160 0611fdd7edf840bc0d7e37d49b2394102465c71f \
+ sha256 5987e056eba62895aba89f9e6e921ab757d219787282e0ecac7295665fafa72b
+
+depends_lib port:picosat
+
+installs_libs no
+
+patchfiles patch-configure.diff patch-btorexp.c.diff patch-btorsat.c.diff patch-makefile.in.diff
+
+use_parallel_build no
+
+configure.pre_args
+
+destroot {
+ xinstall -m 755 -d ${destroot}${prefix}/bin \
+ ${destroot}${prefix}/include \
+ ${destroot}${prefix}/lib \
+ ${destroot}${prefix}/share/doc/${name}
+ xinstall -m 755 -W ${worksrcpath} synthebtor deltabtor boolector \
+ ${destroot}${prefix}/bin
+ xinstall -m 644 ${worksrcpath}/boolector.h \
+ ${destroot}${prefix}/include
+ xinstall -m 644 ${worksrcpath}/libboolector.a \
+ ${destroot}${prefix}/lib
+ xinstall -m 644 -W ${worksrcpath} COPYING NEWS README VERSION \
+ ${destroot}${prefix}/share/doc/${name}
+}
+
+livecheck.type regex
+livecheck.url ${homepage}
+livecheck.regex boolector-(\[0-9\.\]+).tar.gz
Property changes on: trunk/dports/math/boolector/Portfile
___________________________________________________________________
Added: svn:keywords
+ Id
Added: svn:eol-style
+ native
Added: trunk/dports/math/boolector/files/patch-btorexp.c.diff
===================================================================
--- trunk/dports/math/boolector/files/patch-btorexp.c.diff (rev 0)
+++ trunk/dports/math/boolector/files/patch-btorexp.c.diff 2012-09-08 14:56:53 UTC (rev 97542)
@@ -0,0 +1,11 @@
+--- work/boolector-1.4.1-376e6b0-110304/btorexp.c 2011-03-04 19:49:37.000000000 +0100
++++ btorexp.c 2012-09-08 16:20:16.000000000 +0200
+@@ -27,7 +27,7 @@
+ #include "btorconfig.h"
+ #include "btorexit.h"
+ #include "btorrewrite.h"
+-#include "../picosat/picosat.h"
++#include "picosat.h"
+
+ #include <stdlib.h>
+ #include <stdio.h>
Added: trunk/dports/math/boolector/files/patch-btorsat.c.diff
===================================================================
--- trunk/dports/math/boolector/files/patch-btorsat.c.diff (rev 0)
+++ trunk/dports/math/boolector/files/patch-btorsat.c.diff 2012-09-08 14:56:53 UTC (rev 97542)
@@ -0,0 +1,15 @@
+--- work/boolector-1.4.1-376e6b0-110304/btorsat.c 2010-06-14 18:38:20.000000000 +0200
++++ btorsat.c 2012-09-08 16:20:41.000000000 +0200
+@@ -17,10 +17,10 @@
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+-#include "../picosat/picosat.h"
++#include "picosat.h"
+
+ #ifdef BTOR_USE_PICOPREP
+-#include "../picoprep/picoprep.h"
++#include "picoprep.h"
+ #endif
+
+ #ifdef BTOR_USE_PRECOSAT
Added: trunk/dports/math/boolector/files/patch-configure.diff
===================================================================
--- trunk/dports/math/boolector/files/patch-configure.diff (rev 0)
+++ trunk/dports/math/boolector/files/patch-configure.diff 2012-09-08 14:56:53 UTC (rev 97542)
@@ -0,0 +1,25 @@
+--- work/boolector-1.4.1-376e6b0-110304/configure 2010-05-14 15:52:49.000000000 +0200
++++ configure 2012-09-08 16:44:05.000000000 +0200
+@@ -23,11 +23,6 @@
+ [ -f $1 ] || die "can not find '$1'"
+ }
+
+-check ../picosat/picosat.h
+-check ../picosat/version.o
+-check ../picosat/picosat.o
+-echo "picosat backend"
+-
+ if [ $precosat = yes ]
+ then
+ check ../precosat/precosat.hh
+@@ -58,8 +53,8 @@
+ rm -f makefile
+ sed \
+ -e "s, at CC@,$CC," \
+--e "s, at CFLAGS@,$CFLAGS," \
+--e "s, at LIBS@,$LIBS," \
++-e "s, at CFLAGS@,$CFLAGS $CPPFLAGS," \
++-e "s, at LIBS@,$LDFLAGS -lpicosat $LIBS," \
+ -e "s, at PRECOSAT@,$PRECOSAT," \
+ makefile.in > makefile
+
Added: trunk/dports/math/boolector/files/patch-makefile.in.diff
===================================================================
--- trunk/dports/math/boolector/files/patch-makefile.in.diff (rev 0)
+++ trunk/dports/math/boolector/files/patch-makefile.in.diff 2012-09-08 14:56:53 UTC (rev 97542)
@@ -0,0 +1,11 @@
+--- work/boolector-1.4.1-376e6b0-110304/makefile.in 2011-03-04 19:52:48.000000000 +0100
++++ makefile.in 2012-09-08 16:45:41.000000000 +0200
+@@ -4,7 +4,7 @@
+ .cc.o:
+ $(CC) $(CFLAGS) -c $<
+ OBJ=boolector.o $(addsuffix .o,$(basename $(wildcard btor*.c))) \
+- ../picosat/picosat.o ../picosat/version.o @PRECOSAT@
++ @PRECOSAT@
+ CC=@CC@
+ CFLAGS=@CFLAGS@
+ LIBS=@LIBS@
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20120908/46ba1e98/attachment.html>
More information about the macports-changes
mailing list