From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id DE354158041 for ; Mon, 19 Feb 2024 16:17:23 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0B0912BC014; Mon, 19 Feb 2024 16:17:23 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id E514F2BC014 for ; Mon, 19 Feb 2024 16:17:22 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 6BA4233BDEF for ; Mon, 19 Feb 2024 16:17:20 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id D124814AA for ; Mon, 19 Feb 2024 16:17:18 +0000 (UTC) From: "Alexander Puck Neuwirth" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alexander Puck Neuwirth" Message-ID: <1708359356.6d580f318cd4b49a97263fb12e8db67119cae0c3.alexander@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/ltl2ba/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/ltl2ba/ltl2ba-1.2.ebuild sci-mathematics/ltl2ba/ltl2ba-1.3.ebuild X-VCS-Directories: sci-mathematics/ltl2ba/ X-VCS-Committer: alexander X-VCS-Committer-Name: Alexander Puck Neuwirth X-VCS-Revision: 6d580f318cd4b49a97263fb12e8db67119cae0c3 X-VCS-Branch: master Date: Mon, 19 Feb 2024 16:17:18 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: d8e3cda6-0ad3-4deb-b1fe-f99234b54281 X-Archives-Hash: fe458dea6cac1e5e11118379136783ba commit: 6d580f318cd4b49a97263fb12e8db67119cae0c3 Author: Alexander Puck Neuwirth neuwirth-informatik de> AuthorDate: Fri Feb 16 20:24:14 2024 +0000 Commit: Alexander Puck Neuwirth neuwirth-informatik 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 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 +}