Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 245806 - [science overlay] sci-mathematics/frama-c
Summary: [science overlay] sci-mathematics/frama-c
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: http://www.frama-c.cea.fr/
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on: 245803 245804 259477 259479
Blocks:
  Show dependency tree
 
Reported: 2008-11-06 10:27 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/frama-c-20081002_beta1.ebuild (frama-c-20081002_beta1.ebuild,1.18 KB, text/plain)
2008-11-06 10:29 UTC, Le retraité
Details
sci-mathematics/frama-c-20081002_beta1.ebuild (frama-c-20081002_beta1.ebuild,1.27 KB, text/plain)
2008-11-12 16:47 UTC, Le retraité
Details
sci-mathematics/frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,1.23 KB, text/plain)
2008-12-17 16:05 UTC, Le retraité
Details
sci-mathematics/frama-c/frama-c-20081002_beta1.ebuild (frama-c-20081002_beta1.ebuild,1.23 KB, text/plain)
2008-12-17 16:06 UTC, Le retraité
Details
frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,1.23 KB, text/plain)
2008-12-17 16:06 UTC, Le retraité
Details
sci-mathematics/frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,1.91 KB, text/plain)
2009-02-03 21:13 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/frama-c/files/frama-c-20081201-states_hook.patch (frama-c-20081201-states_hook.patch,3.47 KB, patch)
2009-02-03 21:17 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,2.07 KB, text/plain)
2009-02-05 00:13 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,2.45 KB, text/plain)
2009-02-18 14:27 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/frama-c/frama-c-20081201.ebuild (frama-c-20081201.ebuild,2.02 KB, text/plain)
2009-03-22 13:58 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/frama-c/files/frama-c-20090901-ocamlgraph_link.patch (frama-c-20090901-ocamlgraph_link.patch,721 bytes, patch)
2009-10-23 23:28 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/frama-c/files/frama-c-20090901-varinfo_export.patch (frama-c-20090901-varinfo_export.patch,672 bytes, patch)
2009-10-23 23:29 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/frama-c/files/frama-c-20090901-why_link.patch (frama-c-20090901-why_link.patch,2.12 KB, patch)
2009-10-23 23:30 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/frama-c/frama-c-20090901.ebuild (frama-c-20090901.ebuild,1.54 KB, text/plain)
2009-10-23 23:43 UTC, Jonathan-Christofer Demay
Details
sci-mathematics/frama-c/frama-c-20090901.ebuild (frama-c-20090901.ebuild,1.56 KB, text/plain)
2009-10-24 00:13 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: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 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) gentoo-dev 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) gentoo-dev 2010-01-13 01:51:36 UTC
Has been in science overlay for a while.