From owner-svn-ports-head@freebsd.org Mon Jun 3 01:48:22 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 1413315C5582; Mon, 3 Jun 2019 01:48:22 +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 A38A08817D; Mon, 3 Jun 2019 01:48:21 +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 7B9BE2F449; Mon, 3 Jun 2019 01:48:21 +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 x531mL47038193; Mon, 3 Jun 2019 01:48:21 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id x531mKhq038188; Mon, 3 Jun 2019 01:48:20 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201906030148.x531mKhq038188@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Mon, 3 Jun 2019 01:48:20 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r503339 - in head/math: . rumur X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . rumur X-SVN-Commit-Revision: 503339 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: A38A08817D X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.94 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; NEURAL_HAM_SHORT(-0.94)[-0.938,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: Mon, 03 Jun 2019 01:48:22 -0000 Author: yuri Date: Mon Jun 3 01:48:19 2019 New Revision: 503339 URL: https://svnweb.freebsd.org/changeset/ports/503339 Log: New port: math/rumur: Model checker, a formal verification tool for state machines Added: head/math/rumur/ head/math/rumur/Makefile (contents, props changed) head/math/rumur/distinfo (contents, props changed) head/math/rumur/pkg-descr (contents, props changed) head/math/rumur/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Sun Jun 2 23:25:40 2019 (r503338) +++ head/math/Makefile Mon Jun 3 01:48:19 2019 (r503339) @@ -811,6 +811,7 @@ SUBDIR += rubygem-numru-misc SUBDIR += rubygem-numru-units SUBDIR += rubygem-rb-gsl + SUBDIR += rumur SUBDIR += saga SUBDIR += sage SUBDIR += sc Added: head/math/rumur/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/rumur/Makefile Mon Jun 3 01:48:19 2019 (r503339) @@ -0,0 +1,31 @@ +# $FreeBSD$ + +PORTNAME= rumur +DISTVERSIONPREFIX= v +DISTVERSION= 2019.06.01 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Model checker, a formal verification tool for state machines + +LICENSE= PD +LICENSE_FILE= ${WRKSRC}/LICENSE + +LIB_DEPENDS= libgmpxx.so:math/gmp + +USES= bison cmake compiler:c++11-lang python shebangfix +SHEBANG_FILES= rumur/src/rumur-run tests/integration-tests.py +USE_GITHUB= yes +GH_ACCOUNT= Smattr +USE_LDCONFIG= yes + +CMAKE_ON= BUILD_SHARED_LIBS +CMAKE_ARGS= BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison + +BINARY_ALIAS= python=${PYTHON_CMD} + +do-test: # tests are broken: https://github.com/Smattr/rumur/issues/134 + @cd ${BUILD_WRKSRC} && \ + ${WRKSRC}/tests/integration-tests.py --verbose + +.include Added: head/math/rumur/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/rumur/distinfo Mon Jun 3 01:48:19 2019 (r503339) @@ -0,0 +1,3 @@ +TIMESTAMP = 1559525331 +SHA256 (Smattr-rumur-v2019.06.01_GH0.tar.gz) = 37477cb1130c556132d212cc41e61f765c0ea16b95d7170b010f33b9c5e9b1bc +SIZE (Smattr-rumur-v2019.06.01_GH0.tar.gz) = 168369 Added: head/math/rumur/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/rumur/pkg-descr Mon Jun 3 01:48:19 2019 (r503339) @@ -0,0 +1,7 @@ +Rumur is a model checker, a formal verification tool for proving safety and +security properties of systems represented as state machines. It is based on a +previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur +takes the same input format as CMurphi, the Murphi modelling language, with some +extensions and generates a C program that implements a verifier. + +WWW: https://github.com/Smattr/rumur Added: head/math/rumur/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/rumur/pkg-plist Mon Jun 3 01:48:19 2019 (r503339) @@ -0,0 +1,32 @@ +bin/rumur +bin/rumur-ast-dump +bin/rumur-run +include/rumur/Boolean.h +include/rumur/Decl.h +include/rumur/Expr.h +include/rumur/Function.h +include/rumur/Model.h +include/rumur/Node.h +include/rumur/Number.h +include/rumur/Property.h +include/rumur/Ptr.h +include/rumur/Rule.h +include/rumur/Stmt.h +include/rumur/Symtab.h +include/rumur/TypeExpr.h +include/rumur/except.h +include/rumur/indexer.h +include/rumur/location.hh +include/rumur/parse.h +include/rumur/parser.yy.hh +include/rumur/position.hh +include/rumur/resolve-symbols.h +include/rumur/rumur.h +include/rumur/scanner.h +include/rumur/stack.hh +include/rumur/traverse.h +include/rumur/validate.h +lib/librumur.so +man/man1/rumur-ast-dump.1.gz +man/man1/rumur-run.1.gz +man/man1/rumur.1.gz