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.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 718CE1382C5 for ; Sat, 20 Feb 2021 23:26:42 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id C536EE0893; Sat, 20 Feb 2021 23:26:41 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id AF2F2E0893 for ; Sat, 20 Feb 2021 23:26:41 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id C3FA8340E16 for ; Sat, 20 Feb 2021 23:26:33 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 745E5530 for ; Sat, 20 Feb 2021 23:26:18 +0000 (UTC) From: "Jakov Smolić" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jakov Smolić" Message-ID: <1613858262.0713dd406eeb0fab717f46f357d3c2524e5fccc2.jakov.smolic@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.1.ebuild X-VCS-Directories: sci-mathematics/ltl2ba/ X-VCS-Committer: jakov.smolic X-VCS-Committer-Name: Jakov Smolić X-VCS-Revision: 0713dd406eeb0fab717f46f357d3c2524e5fccc2 X-VCS-Branch: master Date: Sat, 20 Feb 2021 23:26: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: 8ffcced4-785a-4074-84c3-f5a4c867683e X-Archives-Hash: adf81d52574964138f57eaa4fabd237a commit: 0713dd406eeb0fab717f46f357d3c2524e5fccc2 Author: Jakov Smolic sartura hr> AuthorDate: Sat Feb 20 20:16:00 2021 +0000 Commit: Jakov Smolić sartura hr> CommitDate: Sat Feb 20 21:57:42 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=0713dd40 sci-mathematics/ltl2ba: Port to EAPI 7 Closes: https://bugs.gentoo.org/755374 Signed-off-by: Jakov Smolic sartura.hr> sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild index 29609c146..6172bb985 100644 --- a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild +++ b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild @@ -1,29 +1,31 @@ # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -EAPI=5 +EAPI=7 + +inherit flag-o-matic DESCRIPTION="Fast LTL to Buechi Automata Translation" -HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/${PN}/" +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" -IUSE="" - -RDEPEND="" -DEPEND="" -src_compile() { +src_prepare() { + default sed -i Makefile \ -e "s/CC=gcc/#CC=gcc/g" \ - -e "s/CFLAGS= -O3 -ansi -DNXT/CFLAGS+= -ansi -DNXT/g" + -e "s/CFLAGS= -O3 -ansi -DNXT/CFLAGS+= -ansi -DNXT/g" || die +} +src_configure() { + append-cflags -fcommon default } src_install() { - dobin ltl2ba || die "dobin failed" + dobin ltl2ba dodoc README }