Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 245807 - [science overlay] sci-mathematics/why
Summary: [science overlay] sci-mathematics/why
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: http://why.lri.fr/
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on: 245804 259477 259479 257540 257679
Blocks:
  Show dependency tree
 
Reported: 2008-11-06 10:33 UTC by Le retraité
Modified: 2011-06-20 06:19 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
sci-mathematics/why-2.16.ebuild (why-2.16.ebuild,706 bytes, text/plain)
2008-11-06 10:34 UTC, Le retraité
Details
sci-mathematics/why/why-2.17.ebuild (why-2.17.ebuild,1.17 KB, text/plain)
2009-02-04 23:38 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/why/why-2.17.ebuild (why-2.17.ebuild,1.21 KB, text/plain)
2009-02-18 14:20 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/why/why-2.17.ebuild (why-2.17.ebuild,1.16 KB, text/plain)
2009-03-22 14:10 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/why/why-2.17.ebuild (why-2.17.ebuild,1.14 KB, text/plain)
2009-03-25 10:41 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/why/why-2.19.ebuild (why-2.19.ebuild,1.42 KB, text/plain)
2009-10-23 23:25 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/why/files/why-2.19-jessie_lib.patch (why-2.19-jessie_lib.patch,1.59 KB, patch)
2009-10-23 23:25 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/why/files/why-2.19-makefile_sandbox.patch (why-2.19-makefile_sandbox.patch,2.95 KB, patch)
2009-10-23 23:25 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/why/why-2.19.ebuild (why-2.19.ebuild,1.44 KB, text/plain)
2009-10-24 00:11 UTC, Jonathan-Christofer Demay
Details

Note You need to log in before you can comment on or make changes to this bug.
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) gentoo-dev 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) gentoo-dev 2010-01-13 01:52:28 UTC
Has been in science overlay for a while.