Bug 245806 – [science overlay] sci-mathematics/frama-c

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Le retraité 2008-11-06 10:27:18 UTC]

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

http://www.frama-c.cea.fr/download/frama-c-Lithium-20081002+beta1.tar.gz

[Comment 1 Le retraité 2008-11-06 10:29:41 UTC]

Created attachment 170895 [details]
sci-mathematics/frama-c-20081002_beta1.ebuild

A suggested ebuild.

[Comment 2 Le retraité 2008-11-12 16:47:57 UTC]

Created attachment 171559 [details]
sci-mathematics/frama-c-20081002_beta1.ebuild

Fix the Coq plugins installation.
Prevent non-nativ binaries from being stripped.

[Comment 3 Le retraité 2008-12-17 16:05:36 UTC]

Created attachment 175610 [details]
sci-mathematics/frama-c/frama-c-20081201.ebuild

The updated ebuild

[Comment 4 Le retraité 2008-12-17 16:06:14 UTC]

Created attachment 175611 [details]
sci-mathematics/frama-c/frama-c-20081002_beta1.ebuild

oops

[Comment 5 Le retraité 2008-12-17 16:06:49 UTC]

Created attachment 175613 [details]
frama-c/frama-c-20081201.ebuild

Voilà ^^

[Comment 6 Jonathan-Christofer Demay 2009-02-03 21:13:14 UTC]

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.

[Comment 7 Jonathan-Christofer Demay 2009-02-03 21:17:39 UTC]

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.

[Comment 8 Jonathan-Christofer Demay 2009-02-03 21:36:22 UTC]

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

[Comment 9 Jonathan-Christofer Demay 2009-02-05 00:13:39 UTC]

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.

[Comment 10 Jonathan-Christofer Demay 2009-02-05 00:16:19 UTC]

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

[Comment 11 Jonathan-Christofer Demay 2009-02-18 14:27:59 UTC]

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.

[Comment 12 Jonathan-Christofer Demay 2009-02-18 14:28:45 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 13 Sébastien Fabbro (RETIRED) 2009-02-20 12:26:56 UTC]

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.

[Comment 14 Jonathan-Christofer Demay 2009-03-22 13:58:10 UTC]

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'

[Comment 15 Jonathan-Christofer Demay 2009-10-23 23:28:56 UTC]

Created attachment 208093 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-ocamlgraph_link.patch

[Comment 16 Jonathan-Christofer Demay 2009-10-23 23:29:12 UTC]

Created attachment 208095 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-varinfo_export.patch

[Comment 17 Jonathan-Christofer Demay 2009-10-23 23:30:11 UTC]

Created attachment 208096 [details, diff]
sci-mathematics/frama-c/files/frama-c-20090901-why_link.patch

[Comment 18 Jonathan-Christofer Demay 2009-10-23 23:43:03 UTC]

Created attachment 208097 [details]
sci-mathematics/frama-c/frama-c-20090901.ebuild

version bump

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

Created attachment 208105 [details]
sci-mathematics/frama-c/frama-c-20090901.ebuild

eapi2 update

[Comment 20 Sébastien Fabbro (RETIRED) 2010-01-13 01:51:36 UTC]

Has been in science overlay for a while.