diff options
Diffstat (limited to 'sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild')
| -rw-r--r-- | sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild index 50578bd52..644848948 100644 --- a/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild +++ b/sci-mathematics/frama-c-instantiate/frama-c-instantiate-23.1.ebuild @@ -10,6 +10,8 @@ HOMEPAGE="https://frama-c.com" NAME="Vanadium" SRC_URI="https://frama-c.com/download/frama-c-${PV}-${NAME}.tar.gz" +S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate" + LICENSE="LGPL-2.1" SLOT="0" KEYWORDS="~amd64" @@ -19,8 +21,6 @@ RESTRICT="strip" RDEPEND="~sci-mathematics/frama-c-${PV}:=[ocamlopt?]" DEPEND="${RDEPEND}" -S="${WORKDIR}/frama-c-${PV}-${NAME}/src/plugins/instantiate" - src_prepare() { export FRAMAC_SHARE="${ESYSROOT}/usr/share/frama-c" export FRAMAC_LIBDIR="${EPREFIX}/usr/$(get_libdir)/frama-c" |