diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-29 01:24:12 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-29 04:04:54 +0100 |
| commit | 533148e0abceba84d64d7bec2d888b812486bef1 (patch) | |
| tree | b6f3ac24c7cc931a7aaa7b2902a187fad7d44d23 /dev-lang/dafny-bin | |
| parent | dev-lang/dafny-bin: bump to 4.6.0 (diff) | |
| download | gentoo-533148e0abceba84d64d7bec2d888b812486bef1.tar.gz gentoo-533148e0abceba84d64d7bec2d888b812486bef1.tar.bz2 gentoo-533148e0abceba84d64d7bec2d888b812486bef1.zip | |
dev-lang/dafny-bin: restrict binary stripping
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny-bin')
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild) | 7 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild) | 1 |
2 files changed, 6 insertions, 2 deletions
diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild index 65340016815f..e820db1b1174 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild @@ -7,11 +7,13 @@ DESCRIPTION="Verification-aware programming language" HOMEPAGE="https://dafny.org/ https://github.com/dafny-lang/dafny/" SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip" +S="${WORKDIR}/dafny" LICENSE="MIT" SLOT="0" KEYWORDS="-* amd64" REQUIRED_USE="elibc_glibc" +RESTRICT="strip" RDEPEND=" !dev-lang/dafny @@ -19,9 +21,10 @@ RDEPEND=" dev-util/lttng-ust:0/2.12 sci-mathematics/z3 " -BDEPEND="app-arch/unzip" +BDEPEND=" + app-arch/unzip +" -S="${WORKDIR}/dafny" QA_PREBUILT="*" src_prepare() { diff --git a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild index e1a433bf10e8..8ed638b01e1e 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild @@ -13,6 +13,7 @@ LICENSE="MIT" SLOT="0" KEYWORDS="-* ~amd64" REQUIRED_USE="elibc_glibc" +RESTRICT="strip" RDEPEND=" !dev-lang/dafny |