Description
Le retraité
2008-11-06 10:27:18 UTC
Created attachment 170895 [details]
sci-mathematics/frama-c-20081002_beta1.ebuild
A suggested ebuild.
Created attachment 171559 [details]
sci-mathematics/frama-c-20081002_beta1.ebuild
Fix the Coq plugins installation.
Prevent non-nativ binaries from being stripped.
Created attachment 175610 [details]
sci-mathematics/frama-c/frama-c-20081201.ebuild
The updated ebuild
Created attachment 175611 [details]
sci-mathematics/frama-c/frama-c-20081002_beta1.ebuild
oops
Created attachment 175613 [details]
frama-c/frama-c-20081201.ebuild
Voilà ^^
Created attachment 180844 [details]
sci-mathematics/frama-c/frama-c-20081201.ebuild
add a use flag to enable an experimental patch, it's disabled by default.
Created attachment 180847 [details, diff]
sci-mathematics/frama-c/files/frama-c-20081201-states_hook.patch
The patch needed by the 'stateshook' USE flag in the latest ebuild.
The ebuilds frama-c depends on can be found here: http://bugs.gentoo.org/show_bug.cgi?id=245804 http://bugs.gentoo.org/show_bug.cgi?id=245803 Created attachment 180989 [details] sci-mathematics/frama-c/frama-c-20081201.ebuild updated the same way I updated sci-mathematics/why: http://bugs.gentoo.org/show_bug.cgi?id=245807 Added more flag for more optional dependencies. the various ebuilds needed by this one can be found here: http://bugs.gentoo.org/show_bug.cgi?id=245803 http://bugs.gentoo.org/show_bug.cgi?id=245804 http://bugs.gentoo.org/show_bug.cgi?id=257540 http://bugs.gentoo.org/show_bug.cgi?id=257679 Created attachment 182431 [details] sci-mathematics/frama-c/frama-c-20081201.ebuild Updated the same way I updated sci-mathematics/why: http://bugs.gentoo.org/show_bug.cgi?id=245807 Added more flag for more optional 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 All comments on sci-mathematics/why bug are applicable, and add: * src_unpack: Should be enough to sed Makefile.in and configure.in and use eautoreconf from autotools eclass. Actually not sure you need the sed for configure.in Thanks. Created attachment 185866 [details]
sci-mathematics/frama-c/frama-c-20081201.ebuild
A few clean ups
Install doc files
Makefile still need a fix for parallel building, but now only the 'depend' rule need to be build with '-j1'
Created attachment 208093 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-ocamlgraph_link.patch
Created attachment 208095 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-varinfo_export.patch
Created attachment 208096 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-why_link.patch
Created attachment 208097 [details]
sci-mathematics/frama-c/frama-c-20090901.ebuild
version bump
Created attachment 208105 [details]
sci-mathematics/frama-c/frama-c-20090901.ebuild
eapi2 update
Has been in science overlay for a while. |