diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-19 00:59:31 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-19 00:59:31 +0000 |
commit | 6e476156e1a0d2f4aa53968c37835c3441301367 (patch) | |
tree | aa9b3b9d969a8846aff874749938ea20b6cb06c2 /dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild | |
parent | 1b07dd0a2cbe034321c613ee58a1f99a0df17995 (diff) |
gentoo auto-resync : 19:11:2022 - 00:59:30
Diffstat (limited to 'dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild')
-rw-r--r-- | dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild new file mode 100644 index 000000000000..1c122629aafc --- /dev/null +++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Verification-aware programming language" +HOMEPAGE="https://dafny.org/" +SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="-* ~amd64" # Binaries are compiled only for x86_64. +REQUIRED_USE="elibc_glibc" + +RDEPEND=" + dev-libs/userspace-rcu + dev-util/lttng-ust:0/2.12 + sci-mathematics/z3 +" +BDEPEND="app-arch/unzip" + +S="${WORKDIR}"/dafny +QA_PREBUILT="*" + +src_prepare() { + default + + # Remove bundled z3. + # NOTICE: New versions do not need the bundled one but older versions + # hardcoded the path relative to "dafny" binary. + # While bumping make sure to verify that system's "z3" is used + # by, for example, compiling/verifying a simple dafny program. + rm -r z3 || die +} + +src_install() { + local dest=/opt/dafny + + insinto ${dest} + # Maybe too general, but this installation mode matched how it arrives. + insopts -m0755 + doins "${S}"/* + + local bin + for bin in DafnyServer dafny ; do + dosym ../../${dest}/${bin} /usr/bin/${bin} + done + + # Make "dafny-server" clients happy. + dosym ../../${dest}/DafnyServer /usr/bin/dafny-server +} |