svn commit: r504156 - in head/math: . btor2tools btor2tools/files
Yuri Victorovich
yuri at FreeBSD.org
Fri Jun 14 05:59:59 UTC 2019
Author: yuri
Date: Fri Jun 14 05:59:57 2019
New Revision: 504156
URL: https://svnweb.freebsd.org/changeset/ports/504156
Log:
New port: math/btor2tools: Generic parser and tool package for the BTOR2 format
Added:
head/math/btor2tools/
head/math/btor2tools/Makefile (contents, props changed)
head/math/btor2tools/distinfo (contents, props changed)
head/math/btor2tools/files/
head/math/btor2tools/files/patch-configure.sh (contents, props changed)
head/math/btor2tools/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Fri Jun 14 04:06:17 2019 (r504155)
+++ head/math/Makefile Fri Jun 14 05:59:57 2019 (r504156)
@@ -149,6 +149,7 @@
SUBDIR += blitz++
SUBDIR += blocksolve95
SUBDIR += bsdnt
+ SUBDIR += btor2tools
SUBDIR += cadabra2
SUBDIR += calc
SUBDIR += calcoo
Added: head/math/btor2tools/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/btor2tools/Makefile Fri Jun 14 05:59:57 2019 (r504156)
@@ -0,0 +1,39 @@
+# $FreeBSD$
+
+PORTNAME= btor2tools
+DISTVERSION= g20190418
+CATEGORIES= math
+
+MAINTAINER= yuri at FreeBSD.org
+COMMENT= Generic parser and tool package for the BTOR2 format
+
+LICENSE= MIT
+LICENSE_FILE= ${WRKSRC}/LICENSE.txt
+
+USE_GITHUB= yes
+GH_ACCOUNT= Boolector
+GH_TAGNAME= 1df768d
+USE_LDCONFIG= yes
+
+MAKEFILE= makefile
+
+PLIST_FILES= bin/btorsim \
+ bin/catbtor \
+ include/btor2parser/btor2parser.h \
+ lib/libbtor2parser.so
+
+do-configure:
+ @cd ${WRKSRC} && CFLAGS="" CC=${CC} ./configure.sh -shared -fPIC
+
+do-install:
+ ${MKDIR} ${STAGEDIR}${PREFIX}/include/btor2parser
+ ${INSTALL_DATA} ${WRKSRC}/src/btor2parser/btor2parser.h ${STAGEDIR}${PREFIX}/include/btor2parser
+ ${INSTALL_LIB} ${WRKSRC}/build/libbtor2parser.so ${STAGEDIR}${PREFIX}/lib
+.for exe in btorsim catbtor
+ ${INSTALL_PROGRAM} ${WRKSRC}/bin/${exe} ${STAGEDIR}${PREFIX}/bin
+.endfor
+
+do-test:
+ @cd ${WRKSRC} && LD_PRELOAD=${WRKSRC}/build/libbtor2parser.so test/runtests.sh
+
+.include <bsd.port.mk>
Added: head/math/btor2tools/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/btor2tools/distinfo Fri Jun 14 05:59:57 2019 (r504156)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1560490143
+SHA256 (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = e3565704b644153c892ac05746dcd9b937d1337b9ba31bdf57c027c989b48d0c
+SIZE (Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz) = 70083
Added: head/math/btor2tools/files/patch-configure.sh
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/btor2tools/files/patch-configure.sh Fri Jun 14 05:59:57 2019 (r504156)
@@ -0,0 +1,11 @@
+--- configure.sh.orig 2019-06-14 05:32:21 UTC
++++ configure.sh
+@@ -61,7 +61,7 @@ do
+ -gprof) gprof=yes;;
+ -f*|-m*) if [ $flags = none ]; then flags=$1; else flags="$flags $1"; fi;;
+ -h|-help|--help) usage;;
+- -*) die "invalid option '$1' (try '-h')";;
++ -*) ;;
+ esac
+ shift
+ done
Added: head/math/btor2tools/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/btor2tools/pkg-descr Fri Jun 14 05:59:57 2019 (r504156)
@@ -0,0 +1,6 @@
+The Btor2Tools package provides a generic parser and tools for the BTOR2 format.
+
+Btor2 is a word-level model checking format for capturing models of hardware and
+potentially software in a bit-precise manner.
+
+WWW: https://github.com/Boolector/btor2tools
More information about the svn-ports-head
mailing list