Bug 245807 – [science overlay] sci-mathematics/why

• Product: Gentoo Linux
• Status: RESOLVED OBSOLETE

[Description Le retraité 2008-11-06 10:33:19 UTC]

Why is a software verification platform.

http://why.lri.fr/download/${P}.tar.gz

[Comment 1 Le retraité 2008-11-06 10:34:05 UTC]

Created attachment 170896 [details]
sci-mathematics/why-2.16.ebuild

A suggested ebuild.

[Comment 2 Jonathan-Christofer Demay 2009-02-04 23:38:51 UTC]

Created attachment 180988 [details]
sci-mathematics/why/why-2.17.ebuild

ebuild for the more recent 2.17 version, added more flag for moe optional dependencies.

[Comment 3 Jonathan-Christofer Demay 2009-02-04 23:42:27 UTC]

an updtated ebuild for the sci-mathematics/coq dependency can be found here:
http://bugs.gentoo.org/show_bug.cgi?id=257540

ebuilds for the dev-libs/apron and sci-mathematics/pvs dependencies can be found here:
http://bugs.gentoo.org/show_bug.cgi?id=245804
http://bugs.gentoo.org/show_bug.cgi?id=257679

[Comment 4 gmalecha 2009-02-18 03:38:39 UTC]

I was just browsing around and noticed that the ebuild contains:

if use apron; then
   myconf="--enable-apron=yes"
else
   myconf="--enable-apron=yes"
fi

This seems either redundant or a typo. It does seem to compile without the apron flag and --enable-apron=no. Tested on

amd64

[Comment 5 Jonathan-Christofer Demay 2009-02-18 14:20:00 UTC]

Created attachment 182428 [details]
sci-mathematics/why/why-2.17.ebuild

Fixed the typo.
Added new flags and dependencies.

[Comment 6 Jonathan-Christofer Demay 2009-02-18 14:23:29 UTC]

The ebuilds for the new optional dependencies can be found here:
http://bugs.gentoo.org/show_bug.cgi?id=259477
http://bugs.gentoo.org/show_bug.cgi?id=259479

[Comment 7 Sébastien Fabbro (RETIRED) 2009-02-20 12:17:21 UTC]

See comments in the ltbla bug, and:
* DESCRIPTION: make it shorter.
* src_compile: why not using the $(use_enable apron)? The econf is weird, has a lot of these already by default and already use die by default
emake -j1: add a comment if you really can't find a quick fix to enable parallel building.

See http://devmanual.gentoo.org/

Thanks.

[Comment 8 Jonathan-Christofer Demay 2009-03-22 14:10:37 UTC]

Created attachment 185872 [details]
sci-mathematics/why/why-2.17.ebuild

A few clean ups
Install doc files
Makfile still need a fix to enable parallel building

[Comment 9 Jonathan-Christofer Demay 2009-03-25 10:41:59 UTC]

Created attachment 186209 [details]
sci-mathematics/why/why-2.17.ebuild

Fixed a typo

[Comment 10 Jonathan-Christofer Demay 2009-10-23 23:25:20 UTC]

Created attachment 208089 [details]
sci-mathematics/why/why-2.19.ebuild

version bump

[Comment 11 Jonathan-Christofer Demay 2009-10-23 23:25:36 UTC]

Created attachment 208090 [details, diff]
sci-mathematics/why/files/why-2.19-jessie_lib.patch

[Comment 12 Jonathan-Christofer Demay 2009-10-23 23:25:49 UTC]

Created attachment 208091 [details, diff]
sci-mathematics/why/files/why-2.19-makefile_sandbox.patch

[Comment 13 Jonathan-Christofer Demay 2009-10-24 00:11:19 UTC]

Created attachment 208104 [details]
sci-mathematics/why/why-2.19.ebuild

eapi2 update

[Comment 14 Sébastien Fabbro (RETIRED) 2010-01-13 01:52:28 UTC]

Has been in science overlay for a while.

[Comment 15 Michael Orlitzky 2022-05-08 00:46:41 UTC]

This package is marked "dead" upstream, and has been removed from the science overlay:

https://github.com/gentoo/sci/commit/b965520209214cd9a83ac0377a881eff48034f7f

Nothing left to be done here.