From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 84047158086 for ; Wed, 15 Dec 2021 10:43:09 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 85A222BC00F; Wed, 15 Dec 2021 10:43:07 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id EF7F02BC00F for ; Wed, 15 Dec 2021 10:43:03 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 2301234375B for ; Wed, 15 Dec 2021 10:43:02 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 89E2CD0 for ; Wed, 15 Dec 2021 10:43:00 +0000 (UTC) From: "Andrew Ammerlaan" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andrew Ammerlaan" Message-ID: <1639564965.5554acd11e9dfd3a9fffb4c39ab11507b055c3fc.andrewammerlaan@gentoo> Subject: [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/ X-VCS-Repository: repo/proj/guru X-VCS-Files: sci-mathematics/frama-c/Manifest sci-mathematics/frama-c/frama-c-22.0.ebuild sci-mathematics/frama-c/metadata.xml X-VCS-Directories: sci-mathematics/frama-c/ X-VCS-Committer: andrewammerlaan X-VCS-Committer-Name: Andrew Ammerlaan X-VCS-Revision: 5554acd11e9dfd3a9fffb4c39ab11507b055c3fc X-VCS-Branch: master Date: Wed, 15 Dec 2021 10:43:00 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 02096f04-f92b-47a8-9a72-1c367c65328e X-Archives-Hash: 8e6595bb666ce6b7b9f2251c1b80c745 Message-ID: <20211215104300.GtZGfPF8pKzc8szYpQUG1yAvqQEB8IDIvqe4VL2-Dvs@z> commit: 5554acd11e9dfd3a9fffb4c39ab11507b055c3fc Author: Andrew Ammerlaan gentoo org> AuthorDate: Wed Dec 15 10:42:45 2021 +0000 Commit: Andrew Ammerlaan gentoo 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 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 @@ François-Xavier Carton fx.carton91@gmail.com - - Build the Aorai plugin - Build the callgraph plugin - Build the Dive plugin - Build the E-ACSL plugin - Build the value analysis plugin - Build the from analysis plugin - Build the graphical user interface - Build the impact plugin - Build the inout analysis plugin - Build the instantiate plugin - Build the loop analysis plugin - Build the metrics analysis plugin - Build the nonterm plugin - Build the Obfuscator plugin - Build the occurrence analysis plugin - Build the pdg plugin - Build the postdominators plugin - Build the print_api plugin - Build the qed plugin - Build the report plugin - Build the runtime error annotation plugin - Build the scope plugin - Build the Security slicing plugin - Build the constant propagation plugin - Build the Server plugin - Build the slicing plugin - Build the sparecode plugin - Build the studia plugin - Build the users plugin - Build the variadic plugin - Build the WP plugin - 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