Bug 245803 – [science overlay] sci-mathematics/ltl2ba (New package)

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Le retraité 2008-11-06 10:22:24 UTC]

A sci tool for Fast LTL to Büchi Automata Translation.

http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz

[Comment 1 Le retraité 2008-11-06 10:23:36 UTC]

Created attachment 170893 [details]
sci-mathematics/ltl2ba-1.1.ebuild

A suggested ebuild.

[Comment 2 Jonathan-Christofer Demay 2009-02-03 21:30:34 UTC]

Created attachment 180850 [details]
sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild

fixed the license.

[Comment 3 Jonathan-Christofer Demay 2009-02-18 14:26:43 UTC]

Created attachment 182429 [details]
sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild

A few clean up.

[Comment 4 Sébastien Fabbro (RETIRED) 2009-02-20 12:05:13 UTC]

Hi,

A few comments on the ebuild:
* DESCRIPTION: the ü is not encoded. You should use utf-8
* SRC_URI: use ${P} and ${PN} variables
* KEYWORDS: only put architectures you can test on.
* DEPENDS: sed already in system packages.
* src_compile: don't need cd "${S}"
* Join all the sed into one with line breakers, makes it easier to read.
* src_install: dobin needs a || die, and could install more files, like README

[Comment 5 Jonathan-Christofer Demay 2009-03-22 13:49:33 UTC]

Created attachment 185863 [details]
sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild

Cleaned version.

[Comment 6 Sébastien Fabbro (RETIRED) 2010-01-13 01:49:53 UTC]

Has been in science overlay for a while.