Why is a software verification platform.
Created attachment 170896 [details]
A suggested ebuild.
Created attachment 180988 [details]
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:
ebuilds for the dev-libs/apron and sci-mathematics/pvs dependencies can be found here:
I was just browsing around and noticed that the ebuild contains:
if use apron; then
This seems either redundant or a typo. It does seem to compile without the apron flag and --enable-apron=no. Tested on
Created attachment 182428 [details]
Fixed the typo.
Added new flags and dependencies.
The ebuilds for the new optional dependencies can be found here:
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.
Created attachment 185872 [details]
A few clean ups
Install doc files
Makfile still need a fix to enable parallel building
Created attachment 186209 [details]
Fixed a typo
Created attachment 208089 [details]
Created attachment 208090 [details, diff]
Created attachment 208091 [details, diff]
Created attachment 208104 [details]
Has been in science overlay for a while.