aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Puck Neuwirth <alexander@neuwirth-informatik.de>2024-02-16 21:24:14 +0100
committerAlexander Puck Neuwirth <alexander@neuwirth-informatik.de>2024-02-19 17:15:56 +0100
commit6d580f318cd4b49a97263fb12e8db67119cae0c3 (patch)
treef725651ee760c008bcaec63f55cc171a80180ec8 /sci-mathematics
parentsci-physics/hoppet: new package, add 1.2.0 (diff)
downloadsci-6d580f318cd4b49a97263fb12e8db67119cae0c3.tar.gz
sci-6d580f318cd4b49a97263fb12e8db67119cae0c3.tar.bz2
sci-6d580f318cd4b49a97263fb12e8db67119cae0c3.zip
sci-mathematics/ltl2ba: add 1.2, 1.3
Closes: https://github.com/gentoo/sci/pull/1238 Signed-off-by: Alexander Puck Neuwirth <alexander@neuwirth-informatik.de>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/ltl2ba/Manifest2
-rw-r--r--sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild31
-rw-r--r--sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild31
3 files changed, 64 insertions, 0 deletions
diff --git a/sci-mathematics/ltl2ba/Manifest b/sci-mathematics/ltl2ba/Manifest
index 4d6528d6b..659c1c6e6 100644
--- a/sci-mathematics/ltl2ba/Manifest
+++ b/sci-mathematics/ltl2ba/Manifest
@@ -1 +1,3 @@
DIST ltl2ba-1.1.tar.gz 29629 BLAKE2B 06ba7f7b5e3c6b72d2f0ea3b991346c803669e24d66dc38e311109ee08ed6dcc72bfd9f2ebe0f8864b0f80f010a4438029f4f5dbbf0087469ca2d07cdfce6b3f SHA512 8d010e2bb59fa5d682a56a50133865da938fd3bfcde6386184880eec6989bc1b694d6af9146b4b708cefdcdbcf98248f87074b8c973ea8cab65d658b394ccf69
+DIST ltl2ba-1.2.tar.gz 33026 BLAKE2B f19359e33d4eeb4dde75425ed03d940c08f46dd265b1b9c6773807e7dca67fd44f694f685d4153ca786118e336fab736104a865c5d0e9883390fca694f72b492 SHA512 148ffb1b4dbe134b69c6e946a4a9f1a95a809bf36ef3533117eedeceb721dd4c8a3238bbda2de5782a79b7aee70e33adf6ff193917441092a1ccb4e56a53a655
+DIST ltl2ba-1.3.tar.gz 38265 BLAKE2B bd74d9b9e22589ac00fbaa15f745dd6371894f68b50f85507694648274d9391ad3a90cdf1ee6c342abbceb04d0e2eb5d71473d43969b469a933517cfcd1e16c1 SHA512 1bcef13d98879c083dc907939c652e694802ed91c33a5d90bbeb6fc22d6265a0b153932c5fb3f8557aad30582322c16d0be822bf4208f40faf9384b367a84aa6
diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild
new file mode 100644
index 000000000..0678dcf8e
--- /dev/null
+++ b/sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit flag-o-matic
+
+DESCRIPTION="Fast LTL to Buechi Automata Translation"
+HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/ltl2ba"
+SRC_URI="http://www.lsv.ens-cachan.fr/~gastin/${PN}/${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+src_prepare() {
+ default
+ sed -i Makefile \
+ -e "s/CC=gcc/#CC=gcc/g" \
+ -e "s/CFLAGS= -O3 -ansi -DNXT/CFLAGS+= -ansi -DNXT/g" || die
+}
+
+src_configure() {
+ append-cflags -fcommon
+ default
+}
+
+src_install() {
+ dobin ltl2ba
+ dodoc README
+}
diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild
new file mode 100644
index 000000000..0678dcf8e
--- /dev/null
+++ b/sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit flag-o-matic
+
+DESCRIPTION="Fast LTL to Buechi Automata Translation"
+HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/ltl2ba"
+SRC_URI="http://www.lsv.ens-cachan.fr/~gastin/${PN}/${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+src_prepare() {
+ default
+ sed -i Makefile \
+ -e "s/CC=gcc/#CC=gcc/g" \
+ -e "s/CFLAGS= -O3 -ansi -DNXT/CFLAGS+= -ansi -DNXT/g" || die
+}
+
+src_configure() {
+ append-cflags -fcommon
+ default
+}
+
+src_install() {
+ dobin ltl2ba
+ dodoc README
+}