diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
| commit | a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 (patch) | |
| tree | 0c52bbae1c242fbc296bd650fcd1167685f81492 /sci-mathematics/frama-c-e-acsl | |
| parent | bfd9c39e4712ebdb442d4ca0673061faed1e70e1 (diff) | |
| download | baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.gz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.xz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.zip | |
Adding metadata
Diffstat (limited to 'sci-mathematics/frama-c-e-acsl')
| -rw-r--r-- | sci-mathematics/frama-c-e-acsl/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild | 47 | ||||
| -rw-r--r-- | sci-mathematics/frama-c-e-acsl/metadata.xml | 5 |
3 files changed, 0 insertions, 53 deletions
diff --git a/sci-mathematics/frama-c-e-acsl/Manifest b/sci-mathematics/frama-c-e-acsl/Manifest deleted file mode 100644 index cf3c20d65cbc..000000000000 --- a/sci-mathematics/frama-c-e-acsl/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST frama-c-25.0-Manganese.tar.gz 7670862 BLAKE2B 74c6ed8b0ca25053876da9433f5fde23d535bbd451e2e419ffe4b4dd40b08914172ae9edecd556e9d1badea5f08b92a760bb49cf9b4149b7f545b7f128e7cbef SHA512 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f diff --git a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild b/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild deleted file mode 100644 index b88ba88ed45d..000000000000 --- a/sci-mathematics/frama-c-e-acsl/frama-c-e-acsl-25.0.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools findlib toolchain-funcs - -DESCRIPTION="Runtime verification of ACSL (E-ACSL) plugin for frama-c" -HOMEPAGE="https://frama-c.com" -NAME="Manganese" -SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" - -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/e-acsl" - -LICENSE="BSD LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ocamlopt" -RESTRICT="strip" - -RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?] - ~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]" -DEPEND="${RDEPEND}" - -src_prepare() { - export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" - export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" - sed -i '/\$(CC)/s/-O2 -g3/$(CFLAGS)/' Makefile.in || die - sed -i "s/ranlib/$(tc-getRANLIB)/" Makefile.in || die - eautoconf - eapply_user -} - -src_configure() { - econf --enable-e-acsl -} - -src_compile() { - tc-export AR - export FRAMAC_ROOT_SRCDIR="${S}/../../.." - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" -} - -src_install() { - export EACSL_INSTALL_LIB_DIR="${ED}/usr/$(get_libdir)/frama-c/e-acsl" - emake FRAMAC_SHARE="${FRAMAC_SHARE}" FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" DESTDIR="${ED}" EACSL_INSTALL_LIB_DIR="${EACSL_INSTALL_LIB_DIR}" install -} diff --git a/sci-mathematics/frama-c-e-acsl/metadata.xml b/sci-mathematics/frama-c-e-acsl/metadata.xml deleted file mode 100644 index 115e9d64a669..000000000000 --- a/sci-mathematics/frama-c-e-acsl/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> -</pkgmetadata> |