diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-09 18:10:32 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-09 18:10:32 +0000 |
| commit | 39901d4fd60ef9f6e0708b7baae1cac71170356c (patch) | |
| tree | 58ddf103815ed523e6a8301660418049cb3e973f /math/ltl2ba | |
| parent | 0ddfb53d6bcc8c41cd6405f527e5150c94a39b22 (diff) | |
| download | ports-39901d4fd60ef9f6e0708b7baae1cac71170356c.tar.gz ports-39901d4fd60ef9f6e0708b7baae1cac71170356c.zip | |
Notes
Diffstat (limited to 'math/ltl2ba')
| -rw-r--r-- | math/ltl2ba/Makefile | 18 | ||||
| -rw-r--r-- | math/ltl2ba/distinfo | 6 | ||||
| -rw-r--r-- | math/ltl2ba/pkg-descr | 8 |
3 files changed, 17 insertions, 15 deletions
diff --git a/math/ltl2ba/Makefile b/math/ltl2ba/Makefile index e8e9a4135884..2a27b6e6bae7 100644 --- a/math/ltl2ba/Makefile +++ b/math/ltl2ba/Makefile @@ -2,21 +2,23 @@ # $FreeBSD$ PORTNAME= ltl2ba -PORTVERSION= 1.2 +PORTVERSION= 1.3 CATEGORIES= math -MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ +MASTER_SITES= http://www.lsv.fr/~gastin/ltl2ba/ -MAINTAINER= ports@FreeBSD.org -COMMENT= Fast translation from LTL formulae to Buechi automata +MAINTAINER= yuri@FreeBSD.org +COMMENT= Fast translation from LTL formulae to Buchi automata LICENSE= GPLv2 +LICENSE_FILE= ${WRKSRC}/LICENSE -ALL_TARGET= ltl2ba CFLAGS+= -DNXT -PLIST_FILES= bin/ltl2ba -post-patch: - ${REINPLACE_CMD} -e '/^CC=/d' -e '/^CFLAGS=/d' ${WRKSRC}/Makefile +MAKE_ARGS= CC=${CC} CFLAGS="${CFLAGS}" + +ALL_TARGET= ltl2ba + +PLIST_FILES= bin/ltl2ba do-install: ${INSTALL_PROGRAM} ${WRKSRC}/ltl2ba ${STAGEDIR}${PREFIX}/bin diff --git a/math/ltl2ba/distinfo b/math/ltl2ba/distinfo index 0d1a38ee9115..3fbc5b894fd3 100644 --- a/math/ltl2ba/distinfo +++ b/math/ltl2ba/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1527187553 -SHA256 (ltl2ba-1.2.tar.gz) = 9dfe16c2362e953982407eabf773fff49d69b137b13bd5360b241fb4cf2bfb6f -SIZE (ltl2ba-1.2.tar.gz) = 33026 +TIMESTAMP = 1594317391 +SHA256 (ltl2ba-1.3.tar.gz) = 912877cb2929cddeadfd545a467135a2c61c507bbd5ae0edb695f8b5af7ce9af +SIZE (ltl2ba-1.3.tar.gz) = 38265 diff --git a/math/ltl2ba/pkg-descr b/math/ltl2ba/pkg-descr index de5f5f36f953..4bca9fa47b09 100644 --- a/math/ltl2ba/pkg-descr +++ b/math/ltl2ba/pkg-descr @@ -1,11 +1,11 @@ ltl2ba implements an algorithm of P. Gastin and D. Oddoux to generate -Buechi automata from linear temporal logic (LTL) formulae. This +Buchi automata from linear temporal logic (LTL) formulae. This algorithm generates a very weak alternating automaton and then -transforms it into a Buechi automaton, using a generalized Buechi +transforms it into a Buchi automaton, using a generalized Buchi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula -is simplified before any treatment. ltl2ba is more efficient than +is simplified before any treatment. ltl2ba is more efficient than Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used. -WWW: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ +WWW: http://www.lsv.fr/~gastin/ltl2ba/ |