From owner-svn-ports-head@freebsd.org Fri Jun 14 05:59:59 2019 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 136F815C7079; Fri, 14 Jun 2019 05:59:59 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id A60E084A5E; Fri, 14 Jun 2019 05:59:58 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 7ACE1B95E; Fri, 14 Jun 2019 05:59:58 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id x5E5xwCg039235; Fri, 14 Jun 2019 05:59:58 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id x5E5xvxB039230; Fri, 14 Jun 2019 05:59:57 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201906140559.x5E5xvxB039230@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Fri, 14 Jun 2019 05:59:57 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . btor2tools btor2tools/files X-SVN-Commit-Revision: 504156 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: A60E084A5E X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.92 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-0.998,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; NEURAL_HAM_SHORT(-0.92)[-0.922,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US] X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 14 Jun 2019 05:59:59 -0000 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 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