diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:29:11 +0100 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:29:11 +0100 |
| commit | 6134e8d257ce1af87000c88d149ba0eccd72430a (patch) | |
| tree | 6a1948879aa0cfc7666e4ee245ac15365e4ff959 /sci-mathematics | |
| parent | sci-mathematics/flocq: QA Fixes (diff) | |
| download | sci-6134e8d257ce1af87000c88d149ba0eccd72430a.tar.gz sci-6134e8d257ce1af87000c88d149ba0eccd72430a.tar.bz2 sci-6134e8d257ce1af87000c88d149ba0eccd72430a.zip | |
sci-mathematics/frama-c: version bump
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/frama-c/ChangeLog | 4 | ||||
| -rw-r--r-- | sci-mathematics/frama-c/Manifest | 5 | ||||
| -rw-r--r-- | sci-mathematics/frama-c/frama-c-20111001.ebuild (renamed from sci-mathematics/frama-c/frama-c-20110201.ebuild) | 8 | ||||
| -rw-r--r-- | sci-mathematics/frama-c/metadata.xml | 2 |
4 files changed, 14 insertions, 5 deletions
diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog index ef202c5cb..2bd15d0f2 100644 --- a/sci-mathematics/frama-c/ChangeLog +++ b/sci-mathematics/frama-c/ChangeLog @@ -2,6 +2,10 @@ # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 21 Dec 2011; J.-C. Demay <jcdemay@gmail.com> + +frama-c-20111001.ebuild, -frama-c-20110201.ebuild: + version bump + 06 may 2011; J.-C. Demay <jcdemay@gmail.com> +frama-c-20110201.ebuild, -frama-c-20101202_beta2.ebuild: version bump diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest index 88ee84fd3..7d5a7ab38 100644 --- a/sci-mathematics/frama-c/Manifest +++ b/sci-mathematics/frama-c/Manifest @@ -1 +1,4 @@ -DIST frama-c-Carbon-20110201.tar.gz 34484913 RMD160 caf036951b575210c7d2a4e40abde841e725a0f2 SHA1 a3d4647a3a4cbf5b9008d40cbc0a6dcefbd15c42 SHA256 0c212443224fb8a3b0d6b0337db7d7666a9f53628f9b0c5f411e563dcb4b2256 +DIST frama-c-Nitrogen-20111001.tar.gz 12110786 RMD160 4401666bdca00c9f8fe9882309116633e5d68984 SHA1 5b5b8cd0b21e007012c899ab74bb33cbe23582ed SHA256 8afad848321c958fab265045cd152482e77ce7c175ee7c9af2d4bec57a1bc671 +EBUILD frama-c-20111001.ebuild 1612 RMD160 f8b6c57354afe2dea1a8c151c75b046ab38d0387 SHA1 1c7e43e8a228f9e3c059c85bcc06d02c3553d8cc SHA256 37a5f0b8020c98da4eaf8b5d9012b6be7aae43f822f11bc963993d5024fee71b +MISC ChangeLog 894 RMD160 84bc6d98f565235a95de5912b175d3e6936ae5f0 SHA1 2418a37e3b3cf903005a0b500f46bd918ad3a6a6 SHA256 edc43e823de839bbb34acf6f64f991b3f90fe4f082588e2aa2c81660e84fd120 +MISC metadata.xml 815 RMD160 464879bb226169c1b7e06f13c90f70639b25487e SHA1 abeb18a64d38099e51e2b6c0c1027cb9671f30e4 SHA256 e03ee0bab13f2fb45987440ec7498bf629aa5a8f7217ae7dbeab461c23e89ea8 diff --git a/sci-mathematics/frama-c/frama-c-20110201.ebuild b/sci-mathematics/frama-c/frama-c-20111001.ebuild index 81793c7b8..92beca0ae 100644 --- a/sci-mathematics/frama-c/frama-c-20110201.ebuild +++ b/sci-mathematics/frama-c/frama-c-20111001.ebuild @@ -8,7 +8,7 @@ inherit autotools eutils DESCRIPTION="Framework for analysis of source codes written in C" HOMEPAGE="http://frama-c.com" -NAME="Carbon" +NAME="Nitrogen" SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz" LICENSE="LGPL-2" @@ -18,14 +18,14 @@ IUSE="apron doc gtk +ocamlopt +why" RESTRICT="strip" DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?] - >=dev-ml/ocamlgraph-1.7[gtk?,ocamlopt?] + >=dev-ml/ocamlgraph-1.8.1[gtk?,ocamlopt?] gtk? ( >=x11-libs/gtksourceview-2.8 >=gnome-base/libgnomecanvas-2.26 >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] ) sci-mathematics/ltl2ba apron? ( sci-mathematics/apron )" RDEPEND="${DEPEND}" -PDEPEND="why? ( >=sci-mathematics/why-2.29 )" +PDEPEND="why? ( >=sci-mathematics/why-2.30 )" S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}" @@ -38,6 +38,8 @@ src_prepare(){ mv cil/doc cil/html mv doc/manuals doc/pdf + sed -e "s:1\.8):1\.8\.1):g" -i configure.in + touch config_file eautoreconf } diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index c5ea578bb..bcd42f6df 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> + <herd>sci</herd> <longdescription> Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. It gathers several static analysis techniques |