* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2011-02-14 10:21 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-14 10:21 UTC (permalink / raw
To: gentoo-commits
commit: 2990556cf080711e48d280d5af187eecdb6013c6
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 14 12:23:01 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 14 12:23:01 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=2990556c
sci-mathematics/frama-c: clean-up
---
sci-mathematics/frama-c/frama-c-20110201.ebuild | 5 ++---
1 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20110201.ebuild b/sci-mathematics/frama-c/frama-c-20110201.ebuild
index b23e53e..05e24cf 100644
--- a/sci-mathematics/frama-c/frama-c-20110201.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20110201.ebuild
@@ -18,7 +18,7 @@ IUSE="apron doc gtk +ocamlopt +why"
RESTRICT="strip"
DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
- >=dev-ml/ocamlgraph-1.4[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.6[gtk?,ocamlopt?]
gtk? ( >=x11-libs/gtksourceview-2.8
>=gnome-base/libgnomecanvas-2.26
>=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] )
@@ -30,9 +30,8 @@ PDEPEND="why? ( >=sci-mathematics/why-2.26 )"
S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
src_prepare(){
- #epatch "${FILESDIR}/${P}-plugin_install.patch"
-
rm share/libc/test.c
+ rm -Rf src/wp
touch config_file
sed -i configure.in \
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2011-02-14 13:20 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-14 13:20 UTC (permalink / raw
To: gentoo-commits
commit: 7a4cb0e1e62188d2c8afee7f8416d7fba0d256ed
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 14 15:17:30 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 14 15:23:27 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7a4cb0e1
sci-mathematics/frama-c: previous beta compatible why
---
sci-mathematics/frama-c/ChangeLog | 2 +-
...110201.ebuild => frama-c-20101202_beta2.ebuild} | 0
2 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog
index 4e7e9d7..b019231 100644
--- a/sci-mathematics/frama-c/ChangeLog
+++ b/sci-mathematics/frama-c/ChangeLog
@@ -3,7 +3,7 @@
# $Header: $
14 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
- +frama-c-20110201.ebuild, -frama-c-20100401.ebuild, -files/frama-c-20100401-plugin_install.patch:
+ +frama-c-20101202_beta2.ebuild, -frama-c-20100401.ebuild, -files/frama-c-20100401-plugin_install.patch:
version bump
11 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
diff --git a/sci-mathematics/frama-c/frama-c-20110201.ebuild b/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild
similarity index 100%
rename from sci-mathematics/frama-c/frama-c-20110201.ebuild
rename to sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2011-03-07 12:01 Justin Lecher
0 siblings, 0 replies; 13+ messages in thread
From: Justin Lecher @ 2011-03-07 12:01 UTC (permalink / raw
To: gentoo-commits
commit: eba00d77e0cffdf6e3675d6ab9d839cd02ba8398
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 7 12:01:10 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Mar 7 12:01:10 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=eba00d77
Correct Slots for gtk 3 introduction to tree
(Portage version: 2.2.0_alpha26/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/frama-c/ChangeLog | 4 +++
sci-mathematics/frama-c/frama-c-20100401.ebuild | 29 +++++++++++--------
.../frama-c/frama-c-20101202_beta2.ebuild | 27 +++++++++++-------
3 files changed, 37 insertions(+), 23 deletions(-)
diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog
index b019231..405dba0 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: $
+ 07 Mar 2011; Justin Lecher <jlec@gentoo.org> frama-c-20100401.ebuild,
+ frama-c-20101202_beta2.ebuild:
+ Correct Slots for gtk 3 introduction to tree
+
14 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
+frama-c-20101202_beta2.ebuild, -frama-c-20100401.ebuild, -files/frama-c-20100401-plugin_install.patch:
version bump
diff --git a/sci-mathematics/frama-c/frama-c-20100401.ebuild b/sci-mathematics/frama-c/frama-c-20100401.ebuild
index ffcf9b0..52ecf12 100644
--- a/sci-mathematics/frama-c/frama-c-20100401.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20100401.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -6,24 +6,29 @@ EAPI="3"
inherit autotools eutils
-DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C."
-HOMEPAGE="http://frama-c.com"
NAME="Boron"
+
+DESCRIPTION="Suite for analysis of the source code in C"
+HOMEPAGE="http://frama-c.com"
SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="apron doc gtk +ocamlopt +why"
+
RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
- >=dev-ml/ocamlgraph-1.6[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 )"
+DEPEND="
+ >=dev-lang/ocaml-3.10.2[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.6[gtk?,ocamlopt?]
+ sci-mathematics/ltl2ba
+ apron? ( sci-mathematics/apron )
+ gtk? (
+ x11-libs/gtksourceview:2.0
+ >=gnome-base/libgnomecanvas-2.26
+ >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?]
+ )"
RDEPEND="${DEPEND}"
PDEPEND="why? ( >=sci-mathematics/why-2.26 )"
@@ -34,7 +39,7 @@ src_prepare(){
rm -Rf src/wp
epatch "${FILESDIR}/${P}-plugin_install.patch"
-
+
touch config_file
eautoreconf
}
diff --git a/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild b/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild
index 170ddf2..8f89398 100644
--- a/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20101202_beta2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -6,24 +6,29 @@ EAPI="3"
inherit autotools eutils
-DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C."
-HOMEPAGE="http://frama-c.com"
NAME="Carbon"
+
+DESCRIPTION="Suite for analysis of the source code in C"
+HOMEPAGE="http://frama-c.com"
SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="apron doc gtk +ocamlopt +why"
+
RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
- >=dev-ml/ocamlgraph-1.6[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 )"
+DEPEND="
+ >=dev-lang/ocaml-3.10.2[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.6[gtk?,ocamlopt?]
+ sci-mathematics/ltl2ba
+ apron? ( sci-mathematics/apron )
+ gtk? (
+ x11-libs/gtksourceview:2.0
+ >=gnome-base/libgnomecanvas-2.26
+ >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?]
+ )"
RDEPEND="${DEPEND}"
PDEPEND="why? ( >=sci-mathematics/why-2.26 )"
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2011-05-12 0:41 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2011-05-12 0:41 UTC (permalink / raw
To: gentoo-commits
commit: b20333c78674a7cfec3ee3afc2c446fabd05cca5
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Thu May 12 00:41:00 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Thu May 12 00:41:00 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=b20333c7
sci-mathematics/frama-c: fix ebuild typo
---
sci-mathematics/frama-c/frama-c-20110201.ebuild | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20110201.ebuild b/sci-mathematics/frama-c/frama-c-20110201.ebuild
index 2822e90..81793c7 100644
--- a/sci-mathematics/frama-c/frama-c-20110201.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20110201.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -6,26 +6,26 @@ EAPI="3"
inherit autotools eutils
-DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C."
+DESCRIPTION="Framework for analysis of source codes written in C"
HOMEPAGE="http://frama-c.com"
NAME="Carbon"
SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="apron doc gtk +ocamlopt +why"
RESTRICT="strip"
DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
- >=dev-ml/ocamlgraph-1.6[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.7[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.26 )"
+PDEPEND="why? ( >=sci-mathematics/why-2.29 )"
S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2012-02-06 14:29 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:29 UTC (permalink / raw
To: gentoo-commits
commit: 6134e8d257ce1af87000c88d149ba0eccd72430a
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 6 14:29:11 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 6 14:29:11 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=6134e8d2
sci-mathematics/frama-c: version bump
---
sci-mathematics/frama-c/ChangeLog | 4 ++++
...a-c-20110201.ebuild => frama-c-20111001.ebuild} | 8 +++++---
sci-mathematics/frama-c/metadata.xml | 2 +-
3 files changed, 10 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog
index ef202c5..2bd15d0 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/frama-c-20110201.ebuild b/sci-mathematics/frama-c/frama-c-20111001.ebuild
similarity index 90%
rename from sci-mathematics/frama-c/frama-c-20110201.ebuild
rename to sci-mathematics/frama-c/frama-c-20111001.ebuild
index 81793c7..92beca0 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 c5ea578..bcd42f6 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
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2012-03-17 15:04 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2012-03-17 15:04 UTC (permalink / raw
To: gentoo-commits
commit: 17b94e3b2f823570053e65070370e24c36377db3
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sat Mar 17 15:04:13 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sat Mar 17 15:04:13 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=17b94e3b
sci-mathematics/frama-c: fix install with doc USE flag
---
sci-mathematics/frama-c/frama-c-20111001.ebuild | 9 +--------
1 files changed, 1 insertions(+), 8 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20111001.ebuild b/sci-mathematics/frama-c/frama-c-20111001.ebuild
index 92beca0..05b842e 100644
--- a/sci-mathematics/frama-c/frama-c-20111001.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20111001.ebuild
@@ -33,11 +33,6 @@ src_prepare(){
rm share/libc/test.c
rm -Rf src/wp
- mkdir cil/pdf
- mv cil/doc/*.pdf cil/doc/*.tex cil/pdf
- 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
@@ -66,8 +61,6 @@ src_install(){
dodoc Changelog doc/README
if use doc; then
- dodoc doc/pdf/*.pdf
- dodoc cil/pdf/*.pdf
- dohtml -r cil/html/*
+ dodoc doc/manuals/*.pdf
fi
}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2013-01-14 14:10 Jonathan-Christofer Demay
0 siblings, 0 replies; 13+ messages in thread
From: Jonathan-Christofer Demay @ 2013-01-14 14:10 UTC (permalink / raw
To: gentoo-commits
commit: 90c012c05495d2b9cfa9ea9372a28be565154574
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Jan 14 14:07:06 2013 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Jan 14 14:07:06 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=90c012c0
sci-mathematics/frama-c: version bump
---
sci-mathematics/frama-c/ChangeLog | 8 ++++-
...a-c-20111001.ebuild => frama-c-20120901.ebuild} | 25 ++++++++-----------
sci-mathematics/frama-c/metadata.xml | 4 +-
3 files changed, 19 insertions(+), 18 deletions(-)
diff --git a/sci-mathematics/frama-c/ChangeLog b/sci-mathematics/frama-c/ChangeLog
index 2bd15d0..6ae7f62 100644
--- a/sci-mathematics/frama-c/ChangeLog
+++ b/sci-mathematics/frama-c/ChangeLog
@@ -1,7 +1,11 @@
# ChangeLog for sci-mathematics/frama-c
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
+ +frama-c-20120901.ebuild, -frama-c-20111001.ebuild:
+ version bump
+
21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+frama-c-20111001.ebuild, -frama-c-20110201.ebuild:
version bump
@@ -19,7 +23,7 @@
Dropped ~sparc since dependencies cannot be fulfilled.
08 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
- frama-c-20100401.ebuild:
+ +frama-c-20100401.ebuild:
version bump
22 Jun 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
diff --git a/sci-mathematics/frama-c/frama-c-20111001.ebuild b/sci-mathematics/frama-c/frama-c-20120901.ebuild
similarity index 74%
rename from sci-mathematics/frama-c/frama-c-20111001.ebuild
rename to sci-mathematics/frama-c/frama-c-20120901.ebuild
index 05b842e..756291e 100644
--- a/sci-mathematics/frama-c/frama-c-20111001.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20120901.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2011 Gentoo Foundation
+# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -8,38 +8,35 @@ inherit autotools eutils
DESCRIPTION="Framework for analysis of source codes written in C"
HOMEPAGE="http://frama-c.com"
-NAME="Nitrogen"
+NAME="Oxygen"
SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="apron doc gtk +ocamlopt +why"
+IUSE="doc gtk +ocamlopt"
RESTRICT="strip"
DEPEND=">=dev-lang/ocaml-3.10.2[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.1[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?]
+ dev-ml/zarith
+ sci-mathematics/ltl2ba
+ sci-mathematics/alt-ergo
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 )"
+ >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] )"
RDEPEND="${DEPEND}"
-PDEPEND="why? ( >=sci-mathematics/why-2.30 )"
S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
src_prepare(){
rm share/libc/test.c
- rm -Rf src/wp
-
- sed -e "s:1\.8):1\.8\.1):g" -i configure.in
-
touch config_file
+
eautoreconf
}
-src_configure() {
+src_configure(){
if use gtk; then
myconf="--enable-gui"
else
@@ -49,7 +46,7 @@ src_configure() {
econf ${myconf} || die "econf failed"
}
-src_compile() {
+src_compile(){
# dependencies can not be processed in parallel,
# this is the intended behavior.
emake -j1 depend || die "emake depend failed"
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml
index bcd42f6..59797bc 100644
--- a/sci-mathematics/frama-c/metadata.xml
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -15,8 +15,8 @@
<email>sci@gentoo.org</email>
</maintainer>
<use>
- <flag name="apron">?apron?</flag>
+ <flag name="doc">?doc?</flag>
<flag name="gtk">?gtk?</flag>
- <flag name="why">?why?</flag>
+ <flag name="ocamlopt">?ocamlopt?</flag>
</use>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2015-09-21 19:05 Justin Lecher
0 siblings, 0 replies; 13+ messages in thread
From: Justin Lecher @ 2015-09-21 19:05 UTC (permalink / raw
To: gentoo-commits
commit: 1ad7fca0e8ab4b753fb39283ae8f17d55f2e4a60
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 21 18:45:23 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Sep 21 18:45:23 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=1ad7fca0
sci-mathematics/frama-c: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>
sci-mathematics/frama-c/frama-c-20140301.ebuild | 34 +++++++++++++------------
sci-mathematics/frama-c/metadata.xml | 4 +--
2 files changed, 20 insertions(+), 18 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild
index dd11106..28166cd 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -17,22 +17,25 @@ KEYWORDS="~amd64 ~x86"
IUSE="doc gtk +ocamlopt"
RESTRICT="strip"
-DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
- dev-ml/zarith
- sci-mathematics/coq
- sci-mathematics/ltl2ba
- sci-mathematics/alt-ergo
- gtk? ( >=x11-libs/gtksourceview-2.8
- >=gnome-base/libgnomecanvas-2.26
- >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?] )"
+DEPEND="
+ >=dev-lang/ocaml-3.12.1[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+ dev-ml/zarith
+ sci-mathematics/coq
+ sci-mathematics/ltl2ba
+ sci-mathematics/alt-ergo
+ gtk? (
+ >=x11-libs/gtksourceview-2.8:2.0
+ >=gnome-base/libgnomecanvas-2.26
+ >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?]
+ )"
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
src_prepare(){
- touch config_file
- rm -f ocamlgraph.tar.gz
+ touch config_file || die
+ rm -f ocamlgraph.tar.gz || die
epatch "${FILESDIR}/ocamlgraph185_compat.patch"
eautoreconf
}
@@ -43,14 +46,14 @@ src_configure(){
else
myconf="--disable-gui"
fi
- econf ${myconf} || die "econf failed"
+ econf ${myconf}
}
src_compile(){
# dependencies can not be processed in parallel,
# this is the intended behavior.
- emake -j1 depend || die "emake depend failed"
- emake all top DESTDIR="/" || die "emake failed"
+ emake -j1 depend
+ emake all top DESTDIR="/"
if use doc; then
emake -j1 doc doc-tgz
@@ -59,8 +62,7 @@ src_compile(){
}
src_install(){
- emake install DESTDIR="${D}" || die "emake install failed"
- dodoc Changelog
+ default
if use doc; then
dohtml -A svg -r doc/frama-c-api/*
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml
index e429e61..960aec4 100644
--- a/sci-mathematics/frama-c/metadata.xml
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -1,8 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>sci-mathematics</herd>
-<longdescription>
+ <herd>sci-mathematics</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
in a single collaborative framework. The collaborative approach of
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2016-06-15 14:57 Marius Brehler
0 siblings, 0 replies; 13+ messages in thread
From: Marius Brehler @ 2016-06-15 14:57 UTC (permalink / raw
To: gentoo-commits
commit: e0329e3fd83f68b41dbd4c3057b43a628b619d5b
Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
AuthorDate: Wed Jun 15 14:55:06 2016 +0000
Commit: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
CommitDate: Wed Jun 15 14:55:06 2016 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=e0329e3f
sci-mathematics/frama-c: Drop ~x86 keyword
Package-Manager: portage-2.2.28
sci-mathematics/frama-c/frama-c-20140301.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild
index 28166cd..822d8cd 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -13,7 +13,7 @@ SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64"
IUSE="doc gtk +ocamlopt"
RESTRICT="strip"
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2021-01-19 16:56 Andrew Ammerlaan
0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-01-19 16:56 UTC (permalink / raw
To: gentoo-commits
commit: 4fdf5aee54a5f8eac1463f006f7003c8d1c30afc
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Tue Jan 19 16:54:18 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Tue Jan 19 16:54:18 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=4fdf5aee
sci-mathematics/frama-c: add default for use flag
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/frama-c/frama-c-20140301.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild
index 0d7376d21..f29cfe02e 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -26,7 +26,7 @@ DEPEND="
gtk? (
>=x11-libs/gtksourceview-2.8:2.0
>=gnome-base/libgnomecanvas-2.26
- >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas,ocamlopt?]
+ >=dev-ml/lablgtk-2.14[sourceview,gnomecanvas(-),ocamlopt?]
)"
RDEPEND="${DEPEND}"
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2021-03-04 12:24 Andrew Ammerlaan
0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:24 UTC (permalink / raw
To: gentoo-commits
commit: 06abc11382478a3179823a4ee61f573de16e7170
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 12:23:50 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 12:23:50 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=06abc113
sci-mathematics/frama-c: version bump 22.0, EAPI bump
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
...frama-c-20140301.ebuild => frama-c-22.0.ebuild} | 36 +++++++++-------------
1 file changed, 14 insertions(+), 22 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
similarity index 63%
rename from sci-mathematics/frama-c/frama-c-20140301.ebuild
rename to sci-mathematics/frama-c/frama-c-22.0.ebuild
index f29cfe02e..717c61b65 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -1,18 +1,20 @@
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=5
+EAPI=7
-inherit autotools eutils
+inherit autotools
+
+NAME="Titanium"
DESCRIPTION="Framework for analysis of source codes written in C"
-HOMEPAGE="http://frama-c.com"
-NAME="Neon"
-SRC_URI="http://frama-c.com/download/${PN/-c/-c-$NAME}-${PV/_/-}.tar.gz"
+HOMEPAGE="https://frama-c.com"
+SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
KEYWORDS="~amd64"
+
IUSE="doc gtk +ocamlopt"
RESTRICT="strip"
@@ -20,6 +22,7 @@ DEPEND="
>=dev-lang/ocaml-3.12.1[ocamlopt?]
>=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
dev-ml/zarith
+ dev-ml/yojson
sci-mathematics/coq
sci-mathematics/ltl2ba
sci-mathematics/alt-ergo
@@ -30,40 +33,29 @@ DEPEND="
)"
RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN/-c/-c-$NAME}-${PV/_/-}"
+S="${WORKDIR}/${P}-${NAME}"
src_prepare(){
touch config_file || die
rm -f ocamlgraph.tar.gz || die
- epatch "${FILESDIR}/ocamlgraph185_compat.patch"
+ default
eautoreconf
}
src_configure(){
- if use gtk; then
- myconf="--enable-gui"
- else
- myconf="--disable-gui"
- fi
- econf ${myconf}
+ econf "$(use_enable gtk gui )"
}
src_compile(){
# dependencies can not be processed in parallel,
# this is the intended behavior.
- emake -j1 depend
+ emake depend
emake all top DESTDIR="/"
- if use doc; then
- emake -j1 doc doc-tgz
- tar -xzf frama-c-api.tar.gz -C doc/
- fi
+ use doc && emake doc
}
src_install(){
default
-
- if use doc; then
- dohtml -A svg -r doc/frama-c-api/*
- fi
+ use doc && dodoc -r doc/doxygen/html/*
}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2021-03-04 13:53 Andrew Ammerlaan
0 siblings, 0 replies; 13+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 13:53 UTC (permalink / raw
To: gentoo-commits
commit: 6dcd14a15a24c57c59022cef608ede13fffba598
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 13:48:45 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 13:48:45 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=6dcd14a1
sci-mathematics/frama-c: set USE default
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index 717c61b65..a64c05e82 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -20,7 +20,7 @@ RESTRICT="strip"
DEPEND="
>=dev-lang/ocaml-3.12.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
dev-ml/zarith
dev-ml/yojson
sci-mathematics/coq
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/
@ 2023-04-06 7:45 Horea Christian
0 siblings, 0 replies; 13+ messages in thread
From: Horea Christian @ 2023-04-06 7:45 UTC (permalink / raw
To: gentoo-commits
commit: 252d805f6402bdb7a760f957fe35fc7ce9b06a10
Author: Horea Christian <chr <AT> chymera <DOT> eu>
AuthorDate: Thu Apr 6 07:45:33 2023 +0000
Commit: Horea Christian <horea.christ <AT> gmail <DOT> com>
CommitDate: Thu Apr 6 07:45:33 2023 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=252d805f
sci-mathematics/frama-c: USE flag is deprecated in dependency
Signed-off-by: Horea Christian <chr <AT> chymera.eu>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index a64c05e82..aaf815f4f 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -20,7 +20,7 @@ RESTRICT="strip"
DEPEND="
>=dev-lang/ocaml-3.12.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[ocamlopt?]
dev-ml/zarith
dev-ml/yojson
sci-mathematics/coq
^ permalink raw reply related [flat|nested] 13+ messages in thread
end of thread, other threads:[~2023-04-06 7:45 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-01-19 16:56 [gentoo-commits] proj/sci:master commit in: sci-mathematics/frama-c/ Andrew Ammerlaan
-- strict thread matches above, loose matches on Subject: below --
2023-04-06 7:45 Horea Christian
2021-03-04 13:53 Andrew Ammerlaan
2021-03-04 12:24 Andrew Ammerlaan
2016-06-15 14:57 Marius Brehler
2015-09-21 19:05 Justin Lecher
2013-01-14 14:10 Jonathan-Christofer Demay
2012-03-17 15:04 Jonathan-Christofer Demay
2012-02-06 14:29 Jonathan-Christofer Demay
2011-05-12 0:41 Jonathan-Christofer Demay
2011-03-07 12:01 Justin Lecher
2011-02-14 13:20 Jonathan-Christofer Demay
2011-02-14 10:21 Jonathan-Christofer Demay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox