commit: 6d580f318cd4b49a97263fb12e8db67119cae0c3 Author: Alexander Puck Neuwirth <alexander <AT> neuwirth-informatik <DOT> de> AuthorDate: Fri Feb 16 20:24:14 2024 +0000 Commit: Alexander Puck Neuwirth <alexander <AT> neuwirth-informatik <DOT> de> CommitDate: Mon Feb 19 16:15:56 2024 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=6d580f31
sci-mathematics/ltl2ba: add 1.2, 1.3 Closes: https://github.com/gentoo/sci/pull/1238 Signed-off-by: Alexander Puck Neuwirth <alexander <AT> neuwirth-informatik.de> sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild | 31 +++++++++++++++++++++++++++++++ sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild | 31 +++++++++++++++++++++++++++++++ 2 files changed, 62 insertions(+) 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 +}
