Why is a software verification platform. http://why.lri.fr/download/${P}.tar.gz
Created attachment 170896 [details] sci-mathematics/why-2.16.ebuild A suggested ebuild.
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.
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
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
Created attachment 182428 [details] sci-mathematics/why/why-2.17.ebuild Fixed the typo. Added new flags and dependencies.
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
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.
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
Created attachment 186209 [details] sci-mathematics/why/why-2.17.ebuild Fixed a typo
Created attachment 208089 [details] sci-mathematics/why/why-2.19.ebuild version bump
Created attachment 208090 [details, diff] sci-mathematics/why/files/why-2.19-jessie_lib.patch
Created attachment 208091 [details, diff] sci-mathematics/why/files/why-2.19-makefile_sandbox.patch
Created attachment 208104 [details] sci-mathematics/why/why-2.19.ebuild eapi2 update
Has been in science overlay for a while.
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.