Date: Fri, 14 Jun 2019 05:59:57 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r504156 - in head/math: . btor2tools btor2tools/files Message-ID: <201906140559.x5E5xvxB039230@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201906140559.x5E5xvxB039230>