* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2021-01-10 11:31 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-01-10 11:31 UTC (permalink / raw
To: gentoo-commits
commit: 1fe1afafb83d0a0310bacbf0657ab9a9f8cfd8ea
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Fri Nov 27 18:20:23 2020 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Sat Jan 9 16:46:15 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1fe1afaf
sci-mathematics/frama-c: new package
This is a bump of version in ::science.
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
sci-mathematics/frama-c/Manifest | 1 +
sci-mathematics/frama-c/frama-c-22.0.ebuild | 102 ++++++++++++++++++++++++++++
sci-mathematics/frama-c/metadata.xml | 50 ++++++++++++++
3 files changed, 153 insertions(+)
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
new file mode 100644
index 00000000..9681962f
--- /dev/null
+++ b/sci-mathematics/frama-c/Manifest
@@ -0,0 +1 @@
+DIST frama-c-22.0-Titanium.tar.gz 6008520 BLAKE2B 957f1fd383913718598c8d14bd0ff4b6251cc5350633888ca061fa0e44fae17273b379dcc1b70fe8a187975364aee1f255e0df232a4ee349ff29f9cb922a7b60 SHA512 7366127da4726ffec0022adc06fd867b6ea37fc23b6a5ddccbe7562fcaa635abc6894397d0101fcb0afc339c565299c6d637006305c8331aa62a8ce734740a0f
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
new file mode 100644
index 00000000..1bb3dc8b
--- /dev/null
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -0,0 +1,102 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit autotools
+
+DESCRIPTION="Framework for analysis of source codes written in C"
+HOMEPAGE="https://frama-c.com"
+NAME="Titanium"
+SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
+
+LICENSE="BSD LGPL-2 LGPL-2.1"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="+aorai +callgraph +dive +e-acsl +eva +from-analysis gtk +impact +inout +instantiate +loop-analysis +metrics +nonterm +obfuscator +ocamlopt +occurrence +pdg +postdominators +print-api +qed +report +rtegen +scope security-slicing +semantic-constant-folding +server +slicing +sparecode +studia +users +variadic +wp"
+RESTRICT="strip"
+
+# TODO: $(use_enable markdown-report mdr) -> missing dev-ml/ppx_deriving_yojson
+
+RDEPEND="
+ >=dev-lang/ocaml-4.08.1[ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+ >=dev-ml/zarith-1.5[ocamlopt?]
+ >=dev-ml/yojson-1.4.1[ocamlopt?]
+ gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
+ wp? ( >=sci-mathematics/why3-1.3.3 )"
+DEPEND="${RDEPEND}
+ dev-ml/findlib
+ media-gfx/graphviz"
+
+REQUIRED_USE="
+ dive? ( eva studia )
+ e-acsl? ( rtegen )
+ from-analysis? ( eva callgraph )
+ impact? ( pdg eva inout )
+ inout? ( from-analysis eva callgraph )
+ metrics? ( eva )
+ nonterm? ( eva )
+ occurrence? ( eva )
+ pdg? ( from-analysis eva callgraph )
+ scope? ( postdominators eva from-analysis pdg )
+ security-slicing? ( slicing eva pdg gtk )
+ semantic-constant-folding? ( eva )
+ slicing? ( from-analysis pdg eva callgraph )
+ sparecode? ( pdg eva )
+ studia? ( eva )
+ users? ( eva )
+ wp? ( qed rtegen )"
+
+S="${WORKDIR}/${P}-${NAME}"
+
+src_prepare() {
+ mv configure.in configure.ac || die
+ sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
+ touch config_file || die
+ eautoreconf
+ eapply_user
+}
+
+src_configure() {
+ econf \
+ --disable-landmarks \
+ $(use_enable aorai) \
+ $(use_enable callgraph) \
+ $(use_enable dive) \
+ $(use_enable e-acsl) \
+ $(use_enable eva) \
+ $(use_enable from-analysis) \
+ $(use_enable gtk gui) \
+ $(use_enable impact) \
+ $(use_enable inout) \
+ $(use_enable instantiate) \
+ $(use_enable loop-analysis) \
+ --disable-mdr \
+ $(use_enable metrics) \
+ $(use_enable nonterm) \
+ $(use_enable obfuscator) \
+ $(use_enable occurrence) \
+ $(use_enable pdg) \
+ $(use_enable postdominators) \
+ $(use_enable print-api) \
+ $(use_enable qed) \
+ $(use_enable report) \
+ $(use_enable rtegen) \
+ $(use_enable scope) \
+ $(use_enable security-slicing) \
+ $(use_enable semantic-constant-folding) \
+ $(use_enable server) \
+ --disable-server-zmq \
+ $(use_enable slicing) \
+ $(use_enable sparecode) \
+ $(use_enable studia) \
+ $(use_enable users) \
+ $(use_enable variadic) \
+ $(use_enable wp) \
+ --disable-wp-coq
+}
+
+src_install() {
+ emake install DESTDIR="${ED}"
+}
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml
new file mode 100644
index 00000000..c4798f54
--- /dev/null
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <name>François-Xavier Carton</name>
+ <email>fx.carton91@gmail.com</email>
+ </maintainer>
+ <use>
+ <flag name="aorai">Build the Aorai plugin</flag>
+ <flag name="callgraph">Build the callgraph plugin</flag>
+ <flag name="dive">Build the Dive plugin</flag>
+ <flag name="e-acsl">Build the E-ACSL plugin</flag>
+ <flag name="eva">Build the value analysis plugin</flag>
+ <flag name="from-analysis">Build the from analysis plugin</flag>
+ <flag name="gtk">Build the graphical user interface</flag>
+ <flag name="impact">Build the impact plugin</flag>
+ <flag name="inout">Build the inout analysis plugin</flag>
+ <flag name="instantiate">Build the instantiate plugin</flag>
+ <flag name="loop-analysis">Build the loop analysis plugin</flag>
+ <flag name="metrics">Build the metrics analysis plugin</flag>
+ <flag name="nonterm">Build the nonterm plugin</flag>
+ <flag name="obfuscator">Build the Obfuscator plugin</flag>
+ <flag name="occurrence">Build the occurrence analysis plugin</flag>
+ <flag name="pdg">Build the pdg plugin</flag>
+ <flag name="postdominators">Build the postdominators plugin</flag>
+ <flag name="print-api">Build the print_api plugin</flag>
+ <flag name="qed">Build the qed plugin</flag>
+ <flag name="report">Build the report plugin</flag>
+ <flag name="rtegen">Build the runtime error annotation plugin</flag>
+ <flag name="scope">Build the scope plugin</flag>
+ <flag name="security-slicing">Build the Security slicing plugin</flag>
+ <flag name="semantic-constant-folding">Build the constant propagation plugin</flag>
+ <flag name="server">Build the Server plugin</flag>
+ <flag name="slicing">Build the slicing plugin</flag>
+ <flag name="sparecode">Build the sparecode plugin</flag>
+ <flag name="studia">Build the studia plugin</flag>
+ <flag name="users">Build the users plugin</flag>
+ <flag name="variadic">Build the variadic plugin</flag>
+ <flag name="wp">Build the WP plugin</flag>
+ </use>
+ <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
+Frama-C allows static analyzers to build upon the results already
+computed by other analyzers in the framework. Thanks to this approach,
+Frama-C provides sophisticated tools, such as a slicer and dependency
+analysis.
+</longdescription>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/
2021-03-28 11:43 [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/ Andrew Ammerlaan
@ 2021-03-28 11:24 ` Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-03-28 11:24 UTC (permalink / raw
To: gentoo-commits
commit: 8c76e6dc7464f096b5b69b6d12cf7bf24ca67289
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Sun Mar 28 11:22:52 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Sun Mar 28 11:22:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=8c76e6dc
sci-mathematics/frama-c: add MissingUseDepDefault
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index 1bb3dc8b2..d9fa08e3a 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -20,7 +20,7 @@ RESTRICT="strip"
RDEPEND="
>=dev-lang/ocaml-4.08.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2021-03-28 11:43 Andrew Ammerlaan
2021-03-28 11:24 ` [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
0 siblings, 1 reply; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-03-28 11:43 UTC (permalink / raw
To: gentoo-commits
commit: 8c76e6dc7464f096b5b69b6d12cf7bf24ca67289
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Sun Mar 28 11:22:52 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Sun Mar 28 11:22:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=8c76e6dc
sci-mathematics/frama-c: add MissingUseDepDefault
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index 1bb3dc8b2..d9fa08e3a 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -20,7 +20,7 @@ RESTRICT="strip"
RDEPEND="
>=dev-lang/ocaml-4.08.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk?,ocamlopt?]
+ >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2021-03-31 10:23 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-03-31 10:23 UTC (permalink / raw
To: gentoo-commits
commit: 9f99717f909fcb7eff1e3445b4d1f19129f112a3
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Tue Mar 30 19:51:52 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Tue Mar 30 19:51:52 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9f99717f
sci-mathematics/frama-c: doesn't build with why3-1.4.0
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
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 d9fa08e3a..cffc68867 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -24,7 +24,7 @@ RDEPEND="
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
- wp? ( >=sci-mathematics/why3-1.3.3 )"
+ wp? ( ~sci-mathematics/why3-1.3.3 )"
DEPEND="${RDEPEND}
dev-ml/findlib
media-gfx/graphviz"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2021-04-19 8:04 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-04-19 8:04 UTC (permalink / raw
To: gentoo-commits
commit: 0b1fcb2dc09b9c5e1b66dc7a0a8b5b6f15731f75
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Mon Apr 19 01:09:12 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Mon Apr 19 01:15:32 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=0b1fcb2d
sci-mathematics/frama-c: respect CFLAGS
Closes: https://bugs.gentoo.org/781647
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
sci-mathematics/frama-c/frama-c-22.0.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
index cffc68867..da4cb7ef4 100644
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-22.0.ebuild
@@ -53,6 +53,7 @@ S="${WORKDIR}/${P}-${NAME}"
src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
+ sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' src/plugins/e-acsl/Makefile.in || die
touch config_file || die
eautoreconf
eapply_user
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
2021-12-15 10:42 [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
@ 2021-12-15 10:43 ` Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-12-15 10:43 UTC (permalink / raw
To: gentoo-commits
commit: 5554acd11e9dfd3a9fffb4c39ab11507b055c3fc
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 15 10:42:45 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Dec 15 10:42:45 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=5554acd1
sci-mathematics/frama-c: drop old
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/frama-c/Manifest | 1 -
sci-mathematics/frama-c/frama-c-22.0.ebuild | 104 ----------------------------
sci-mathematics/frama-c/metadata.xml | 33 ---------
3 files changed, 138 deletions(-)
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
index 06b9632bc..94d4a0a85 100644
--- a/sci-mathematics/frama-c/Manifest
+++ b/sci-mathematics/frama-c/Manifest
@@ -1,2 +1 @@
-DIST frama-c-22.0-Titanium.tar.gz 6008520 BLAKE2B 957f1fd383913718598c8d14bd0ff4b6251cc5350633888ca061fa0e44fae17273b379dcc1b70fe8a187975364aee1f255e0df232a4ee349ff29f9cb922a7b60 SHA512 7366127da4726ffec0022adc06fd867b6ea37fc23b6a5ddccbe7562fcaa635abc6894397d0101fcb0afc339c565299c6d637006305c8331aa62a8ce734740a0f
DIST frama-c-23.1-Vanadium.tar.gz 6945715 BLAKE2B aa39c5263c3dd5f407eb97ae56cd734b6209d8dd9b976e67cfa2d3d9879463e47c6ca7b9c4760e111ffa6175e3c8abe698c0bbf7f54098bd7cdd90c704a53e62 SHA512 a96ef705479971991fcdee5440f07c0f30dcf434c7a855cdc894dc03275241599036aa1475b10f062b35045f7749e5d242b930e25ad2fd9e1708e29fca024c9e
diff --git a/sci-mathematics/frama-c/frama-c-22.0.ebuild b/sci-mathematics/frama-c/frama-c-22.0.ebuild
deleted file mode 100644
index 80111f49f..000000000
--- a/sci-mathematics/frama-c/frama-c-22.0.ebuild
+++ /dev/null
@@ -1,104 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit autotools findlib toolchain-funcs
-
-DESCRIPTION="Framework for analysis of source codes written in C"
-HOMEPAGE="https://frama-c.com"
-NAME="Titanium"
-SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"
-
-LICENSE="BSD LGPL-2 LGPL-2.1"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="+aorai +callgraph +dive +e-acsl +eva +from-analysis gtk +impact +inout +instantiate +loop-analysis +metrics +nonterm +obfuscator +ocamlopt +occurrence +pdg +postdominators +print-api +qed +report +rtegen +scope security-slicing +semantic-constant-folding +server +slicing +sparecode +studia +users +variadic +wp"
-RESTRICT="strip"
-
-# TODO: $(use_enable markdown-report mdr) -> missing dev-ml/ppx_deriving_yojson
-
-RDEPEND="
- >=dev-lang/ocaml-4.08.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
- >=dev-ml/zarith-1.5[ocamlopt?]
- >=dev-ml/yojson-1.4.1[ocamlopt?]
- gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )
- wp? ( ~sci-mathematics/why3-1.3.3 )"
-DEPEND="${RDEPEND}
- media-gfx/graphviz"
-
-REQUIRED_USE="
- dive? ( eva studia )
- e-acsl? ( rtegen )
- from-analysis? ( eva callgraph )
- impact? ( pdg eva inout )
- inout? ( from-analysis eva callgraph )
- metrics? ( eva )
- nonterm? ( eva )
- occurrence? ( eva )
- pdg? ( from-analysis eva callgraph )
- scope? ( postdominators eva from-analysis pdg )
- security-slicing? ( slicing eva pdg gtk )
- semantic-constant-folding? ( eva )
- slicing? ( from-analysis pdg eva callgraph )
- sparecode? ( pdg eva )
- studia? ( eva )
- users? ( eva )
- wp? ( qed rtegen )"
-
-S="${WORKDIR}/${P}-${NAME}"
-
-src_prepare() {
- mv configure.in configure.ac || die
- sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
- sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' src/plugins/e-acsl/Makefile.in || die
- sed -i "s/ranlib/$(tc-getRANLIB)/" src/plugins/e-acsl/Makefile.in || die
- touch config_file || die
- eautoreconf
- eapply_user
-}
-
-src_configure() {
- econf \
- --disable-landmarks \
- $(use_enable aorai) \
- $(use_enable callgraph) \
- $(use_enable dive) \
- $(use_enable e-acsl) \
- $(use_enable eva) \
- $(use_enable from-analysis) \
- $(use_enable gtk gui) \
- $(use_enable impact) \
- $(use_enable inout) \
- $(use_enable instantiate) \
- $(use_enable loop-analysis) \
- --disable-mdr \
- $(use_enable metrics) \
- $(use_enable nonterm) \
- $(use_enable obfuscator) \
- $(use_enable occurrence) \
- $(use_enable pdg) \
- $(use_enable postdominators) \
- $(use_enable print-api) \
- $(use_enable qed) \
- $(use_enable report) \
- $(use_enable rtegen) \
- $(use_enable scope) \
- $(use_enable security-slicing) \
- $(use_enable semantic-constant-folding) \
- $(use_enable server) \
- --disable-server-zmq \
- $(use_enable slicing) \
- $(use_enable sparecode) \
- $(use_enable studia) \
- $(use_enable users) \
- $(use_enable variadic) \
- $(use_enable wp) \
- --disable-wp-coq
-}
-
-src_compile() {
- tc-export AR
- default
-}
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml
index 6f03ebab4..62b378ff5 100644
--- a/sci-mathematics/frama-c/metadata.xml
+++ b/sci-mathematics/frama-c/metadata.xml
@@ -5,39 +5,6 @@
<name>François-Xavier Carton</name>
<email>fx.carton91@gmail.com</email>
</maintainer>
- <use>
- <flag name="aorai">Build the Aorai plugin</flag>
- <flag name="callgraph">Build the callgraph plugin</flag>
- <flag name="dive">Build the Dive plugin</flag>
- <flag name="e-acsl">Build the E-ACSL plugin</flag>
- <flag name="eva">Build the value analysis plugin</flag>
- <flag name="from-analysis">Build the from analysis plugin</flag>
- <flag name="gtk">Build the graphical user interface</flag>
- <flag name="impact">Build the impact plugin</flag>
- <flag name="inout">Build the inout analysis plugin</flag>
- <flag name="instantiate">Build the instantiate plugin</flag>
- <flag name="loop-analysis">Build the loop analysis plugin</flag>
- <flag name="metrics">Build the metrics analysis plugin</flag>
- <flag name="nonterm">Build the nonterm plugin</flag>
- <flag name="obfuscator">Build the Obfuscator plugin</flag>
- <flag name="occurrence">Build the occurrence analysis plugin</flag>
- <flag name="pdg">Build the pdg plugin</flag>
- <flag name="postdominators">Build the postdominators plugin</flag>
- <flag name="print-api">Build the print_api plugin</flag>
- <flag name="qed">Build the qed plugin</flag>
- <flag name="report">Build the report plugin</flag>
- <flag name="rtegen">Build the runtime error annotation plugin</flag>
- <flag name="scope">Build the scope plugin</flag>
- <flag name="security-slicing">Build the Security slicing plugin</flag>
- <flag name="semantic-constant-folding">Build the constant propagation plugin</flag>
- <flag name="server">Build the Server plugin</flag>
- <flag name="slicing">Build the slicing plugin</flag>
- <flag name="sparecode">Build the sparecode plugin</flag>
- <flag name="studia">Build the studia plugin</flag>
- <flag name="users">Build the users plugin</flag>
- <flag name="variadic">Build the variadic plugin</flag>
- <flag name="wp">Build the WP plugin</flag>
- </use>
<longdescription lang="en">
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] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2021-12-15 11:17 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-12-15 11:17 UTC (permalink / raw
To: gentoo-commits
commit: eb2bcd3e7558e33cfd92ea3b62937dc8d4b2b498
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 15 11:17:22 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Wed Dec 15 11:17:22 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=eb2bcd3e
sci-mathematics/frama-c: drop UnusedInherits
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/frama-c/frama-c-23.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/frama-c/frama-c-23.1.ebuild b/sci-mathematics/frama-c/frama-c-23.1.ebuild
index 8da5ca002..075df641b 100644
--- a/sci-mathematics/frama-c/frama-c-23.1.ebuild
+++ b/sci-mathematics/frama-c/frama-c-23.1.ebuild
@@ -3,7 +3,7 @@
EAPI=7
-inherit autotools findlib toolchain-funcs
+inherit autotools toolchain-funcs
DESCRIPTION="Framework for analysis of source codes written in C"
HOMEPAGE="https://frama-c.com"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2022-05-25 8:15 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2022-05-25 8:15 UTC (permalink / raw
To: gentoo-commits
commit: 86ecc49dcb6310bf9c9d1a02eaeeaf484d499a25
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Tue May 24 21:06:19 2022 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Tue May 24 21:30:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=86ecc49d
sci-mathematics/frama-c: respect CFLAGS
Closes: https://bugs.gentoo.org/840559
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
sci-mathematics/frama-c/frama-c-24.0.ebuild | 1 +
1 file changed, 1 insertion(+)
diff --git a/sci-mathematics/frama-c/frama-c-24.0.ebuild b/sci-mathematics/frama-c/frama-c-24.0.ebuild
index 5234acac6..59f668c96 100644
--- a/sci-mathematics/frama-c/frama-c-24.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-24.0.ebuild
@@ -31,6 +31,7 @@ src_prepare() {
mv configure.in configure.ac || die
sed -i 's/configure\.in/configure.ac/g' Makefile.generating Makefile || die
touch config_file || die
+ sed -i '/^\t\$(CC)/s/ -O3 /$(CFLAGS)/' Makefile || die
eautoreconf
eapply_user
}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
2022-09-08 10:24 [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
@ 2022-09-08 10:24 ` Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2022-09-08 10:24 UTC (permalink / raw
To: gentoo-commits
commit: ba5027e799e92a3d99980155e265cc907d63820a
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 8 10:24:17 2022 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Thu Sep 8 10:24:17 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=ba5027e7
sci-mathematics/frama-c: quote FILESDIR variable
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/frama-c/frama-c-24.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/frama-c/frama-c-24.0.ebuild b/sci-mathematics/frama-c/frama-c-24.0.ebuild
index 7427c5594..f61ac7f5e 100644
--- a/sci-mathematics/frama-c/frama-c-24.0.ebuild
+++ b/sci-mathematics/frama-c/frama-c-24.0.ebuild
@@ -27,7 +27,7 @@ DEPEND="${RDEPEND}
S="${WORKDIR}/${P}-${NAME}"
-PATCHES=( ${FILESDIR}/frama-c-24.0-fix-bflags.patch )
+PATCHES=( "${FILESDIR}/frama-c-24.0-fix-bflags.patch" )
src_prepare() {
mv configure.in configure.ac || die
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
@ 2023-04-09 10:05 Viorel Munteanu
0 siblings, 0 replies; 10+ messages in thread
From: Viorel Munteanu @ 2023-04-09 10:05 UTC (permalink / raw
To: gentoo-commits
commit: d41b48be876719c39c30f3d52c41550f1f3f45ba
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Sat Apr 8 23:44:30 2023 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Sat Apr 8 23:51:19 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d41b48be
sci-mathematics/frama-c: force gtk3
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
.../frama-c/{frama-c-25.0-r1.ebuild => frama-c-25.0-r2.ebuild} | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
similarity index 90%
rename from sci-mathematics/frama-c/frama-c-25.0-r1.ebuild
rename to sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
index cb67c8563..5356f31fb 100644
--- a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild
+++ b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -18,12 +18,12 @@ RESTRICT="strip"
RDEPEND="
>=dev-lang/ocaml-4.08.1[ocamlopt?]
- >=dev-ml/ocamlgraph-1.8.8[ocamlopt?]
+ >=dev-ml/ocamlgraph-2.0.0[ocamlopt?]
dev-ml/ppx_import[ocamlopt?]
dev-ml/ppx_deriving[ocamlopt?]
>=dev-ml/zarith-1.5[ocamlopt?]
>=dev-ml/yojson-1.4.1[ocamlopt?]
- gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )"
+ gtk? ( dev-ml/lablgtk:3=[ocamlopt?,sourceview] )"
DEPEND="${RDEPEND}
media-gfx/graphviz"
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2023-04-09 10:05 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-03-28 11:43 [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/ Andrew Ammerlaan
2021-03-28 11:24 ` [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
-- strict thread matches above, loose matches on Subject: below --
2023-04-09 10:05 [gentoo-commits] repo/proj/guru:master " Viorel Munteanu
2022-09-08 10:24 [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
2022-09-08 10:24 ` [gentoo-commits] repo/proj/guru:master " Andrew Ammerlaan
2022-05-25 8:15 Andrew Ammerlaan
2021-12-15 11:17 Andrew Ammerlaan
2021-12-15 10:42 [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
2021-12-15 10:43 ` [gentoo-commits] repo/proj/guru:master " Andrew Ammerlaan
2021-04-19 8:04 Andrew Ammerlaan
2021-03-31 10:23 Andrew Ammerlaan
2021-01-10 11:31 Andrew Ammerlaan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox