gentoo auto-resync : 28:12:2024 - 06:30:54

7 files changed, 112 insertions, 49 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 212cf73a2a78..8a0fe61af5cf 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index b833bdf824e4..c91834ffb765 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,5 @@
 DIST dafny-4.9.0-x64-ubuntu-20.04.zip 60772912 BLAKE2B 5904811590362705183e05e38c5f67a98b1601c28b4776faf3f33ac87d527e2c91493a0a693fd635799b8f416344acab2ed8c2897f3d1f07827e34565e8d720e SHA512 f44b94abf4fb9b42ee7b7fab584d1b6d65a90bdc515b2b4fc398762bcc33a759bbe2e22ff0c9fc556ca1794707cd7ca440e414c51be10ecd87a5b470df661bbf
+DIST dafny-4.9.1-x64-ubuntu-20.04.zip 60815385 BLAKE2B 76e4b7cf6bfea6f97bb04b77c034cf62732cc9fcadf1893f4783cf9e44cffc81f4067bbc001474b3b0a92f699b329f87ec77a2e34747a945d7786a33e6fff5b6 SHA512 37fdc7ab2f3feab6cce86103d57248e671daca91aead6588cb9f8de34e4b229178cb2da8bcc5bc26a45b85b76bb445c4c87c440d6e6a84409e2a3fdf7d34765f
 EBUILD dafny-bin-4.9.0.ebuild 1276 BLAKE2B f37bffa5af5c63da4b94e5ae203e46673fcc3797b12d60396981ef986d3a1d3b24df58ea5ce9a044613a6d0db4c8bce0282cc3a46f7f0355a4a610876a12de3d SHA512 35d347e45e9fca8bc06868284a48a9d38fb91ff3a8febe57b75c974869c67a6f75a3543ccf6d7a07503a374566b1c9a134abcf794aff783fb85cd24a078cb7d9
+EBUILD dafny-bin-4.9.1.ebuild 1277 BLAKE2B 7b7b9ed62e8030776ffc5d11154069e35653b4809cb9d7463e8081d22ea9170dd8d657fade500796411bb6158c05d73d3d626a71d2dd9c1524df5740a736fb1b SHA512 4dccece78502cd9c3b99e32fe6ff1043fe9f6139bb497fb4872fd0740e950d259ea5aee285941c1b59b9490e789ff3a670c517dea81a48820eac8ebd89e927fd
 MISC metadata.xml 1826 BLAKE2B 66f000cee8fbf3bcae05da9249d5bc3388f9c05f32c45e96dd51b035aea220a9d49af25cb89b8b8a64a691408373c1ea02d0f345f9a4a554565f708a894664d5 SHA512 0cc12d9c49360bbc08bb8eccd3f7139ec149a9b731f0283b0f95a8506dd93458eb93f3347a978e55a86279ad85ee3233c1b87bfee36f22c9e40bdd14c0aef6c5
diff --git a/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild
new file mode 100644
index 000000000000..2907f72117f4
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	sci-mathematics/z3
+"
+BDEPEND="
+	app-arch/unzip
+"
+
+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 -r "/${dest}/DafnyServer" /usr/bin/dafny-server
+}
diff --git a/dev-lang/eisl/Manifest b/dev-lang/eisl/Manifest
index 3f497fca1998..d46b041b2908 100644
--- a/dev-lang/eisl/Manifest
+++ b/dev-lang/eisl/Manifest
@@ -3,9 +3,11 @@ DIST eisl-5.36.tar.gz 3136331 BLAKE2B 84f3b6917d2d4c2319e3322a9c80bfd4ebebcf9731
 DIST eisl-5.37.tar.gz 3136844 BLAKE2B 43a326e4367b9ba01ef57194ffb9c9f9a9cf322de3055d340263075d2fdd5d06bc0abb3ccacf41018227e1a13e71dd91cd77e42001a58ef8121f8910a03bcb13 SHA512 5f3c88d16f8febb88767d31de193e90da27357132cb46e11ae526ec7d048a8f392b688d2eb815bc297bab3c2ead5ba497bc0dba48a1b65754a6ef499259fddab
 DIST eisl-5.38.tar.gz 3136867 BLAKE2B cfe62da4882a8f687c683345c3518a7245bdfc87b17dd6b956cc3b5db494631c6cb3a2ca24ecfe1454671e8d1e14c9052ae4c119b4855c585fbb93c99af0ddba SHA512 4bed412660700ddba7a8015b1488adcaf9ff89aed5ac5af0a51c65af76ec78fa4dab04b092c4ad7404ce3fb071dff7d219810c4422a983375e5634861de81698
 DIST eisl-5.39.tar.gz 3137025 BLAKE2B 1aca7df4b629b9e9b71fa8355654d65a84cf3f08a59111a978f6d3868377f2fb857041a83f2044dc3d367624b910aaee701d5a4b0dea2d4aa94c49f0aaa60ef4 SHA512 976f5ae8eab96be135ab52b2abdac36ebeef6987ff4091639f29105d9b81f2f4f092a38d60e8ad0f746a42dedc362f95e4a26a8e375bff2f3fc7f7215243dd2b
+DIST eisl-5.40.tar.gz 3140344 BLAKE2B aa00ff32302a6a9f1d9772f8e9c2690e47f1d466ec433c2f4519434a599d8b6bdb923e3bbdb1a278b3aaa1274ea139ff46e1bb736f972ab495f0dfc031de1916 SHA512 44e2ca7a35c3e200e7d8b0bd948427e0bfa81e678269df81d3e36e601123c1528c25a4b2d13b5d92956378b27c5211caa5e51113763099af4b9b65bf369382fd
 EBUILD eisl-5.36.ebuild 1010 BLAKE2B caf0eaf92d6f0397eba23e8641b1bff1d5316d97d1886e75a2bcd504354fbef1ca19d053168ad592503156a7b6270da2dd39cb03f65f78dbb210f6c569476904 SHA512 f637a8521189709117940c1d4240280357394dfb9dceb591658afbc58ccc5190e649144df52ac100f24e0ca3c98913b53d67ca4fa5aa92814bab560791913b35
 EBUILD eisl-5.37.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
 EBUILD eisl-5.38.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
 EBUILD eisl-5.39.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
+EBUILD eisl-5.40.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
 EBUILD eisl-9999.ebuild 1005 BLAKE2B bf9361efcf3f564ea3dd41a9f9d404b95b774df7f88b6280fa1d41d67eebbe1063d6f49876068478d31d11dc0846247b7655d4022ca07cd26c4ee869856acd6b SHA512 dfb4fc078498d62a137dcac57a0cd7bf5c7efb85bf4b9cbec3406ebbe432906e1d621ddf282145a3037bdd1a84b603b665d14638adf4d2894441da7b9c7a3b8c
 MISC metadata.xml 631 BLAKE2B fd171b07cf1f7beae7be774a5da360d466c83f01a6bd52dc69af436926ae5aebec27a2723c11498be21c4f96f6b82c6aa3571f4b84e763459ef78086450252f2 SHA512 dd9e329f24ce6d3922e92e81d36234b93151f71c88d6ba4b38557565a7c1c3bc4b7172d4d55f1d2d5bd6c5cada449691067cc71abd4d456941f6a8b78fe0df87
diff --git a/dev-lang/eisl/eisl-5.40.ebuild b/dev-lang/eisl/eisl-5.40.ebuild
new file mode 100644
index 000000000000..0ef48728bee1
--- /dev/null
+++ b/dev-lang/eisl/eisl-5.40.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Interpreter and compiler compatible with the ISLisp standard"
+HOMEPAGE="https://github.com/sasagawa888/eisl/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git"
+else
+	SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+	KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+RESTRICT="test"  # Tests run cppcheck (and fail)
+
+DOCS=( README{,-ja}.md documents )
+
+RDEPEND="
+	sys-libs/ncurses:=
+"
+DEPEND="
+	${RDEPEND}
+"
+
+PATCHES=( "${FILESDIR}/${PN}-3.60-Makefile.patch" )
+
+src_compile() {
+	emake CC="$(tc-getCC)" clean edlis eisl
+}
+
+src_install() {
+	exeinto /usr/bin
+	doexe edlis eisl
+
+	# Compilation of ISLisp files on installation fails.
+	# Do not compile them and mimic "make install".
+	insinto "/usr/share/${PN}"
+	doins -r library
+	doins fast.h ffi.h
+
+	einstalldocs
+}
diff --git a/dev-lang/elpi/Manifest b/dev-lang/elpi/Manifest
index f7579920b7eb..98b32bd4b538 100644
--- a/dev-lang/elpi/Manifest
+++ b/dev-lang/elpi/Manifest
@@ -1,5 +1,3 @@
-DIST elpi-1.18.2.tar.gz 2630264 BLAKE2B 9921cfb71755f46f29ec8934c5f3e3ea7d57807854c2402660ffebaeb6ce8f64416ceda4e2eaefa91d5b46cf7d9e8caeaadd75b0eddc5c35b234a228dfdf9bcb SHA512 096865d2b777d36ab8c0a63613f268491cb5b4e3a1c8a2adc11b63a3d39d04be5ddc198f0379090da8e3e0b6e7997bad6453d4b48f9f2e5d7d7d4f852af45a41
 DIST elpi-1.19.6.tar.gz 2645680 BLAKE2B 6dfeeff7d5a5a00a4f663acf2c696a30035ea997d775542b9fd49b08b417877217f7eb4ca6dd1a89b1b959b5c4be982cd9488b7ee0774d3de6749148de04f037 SHA512 3371b50d8bcce0d9bc49fcb5f4a27f6317644b748495f2d58a8e7bacf0ff4dd1e506a4f6c0cfefb04e6ff82ad71fd73e4c55185246225c708ab368190457b05c
-EBUILD elpi-1.18.2.ebuild 887 BLAKE2B c8850062eaa0ca1c7ab45399c79cbb5582cae1613ed01a7c51197fd91de9c4684c99d7bac9ebab1c8a2966fb9ced410cb2b1b71bc9e617845cd832cb2453393e SHA512 43793f3ce1bf6d41b19ce389241346d360d720ef98faafaa7178f648fd45e248193a3f17303cbc65a90078f60f38b69c545cbac50997eb85d7d03595d95bed2a
 EBUILD elpi-1.19.6.ebuild 887 BLAKE2B c8850062eaa0ca1c7ab45399c79cbb5582cae1613ed01a7c51197fd91de9c4684c99d7bac9ebab1c8a2966fb9ced410cb2b1b71bc9e617845cd832cb2453393e SHA512 43793f3ce1bf6d41b19ce389241346d360d720ef98faafaa7178f648fd45e248193a3f17303cbc65a90078f60f38b69c545cbac50997eb85d7d03595d95bed2a
 MISC metadata.xml 1145 BLAKE2B 5dc8cfaed7392d45c7c30034952ea7796569ab084912ff15ff6be6e9977376845b539d3b129c1c5572d5dfba2a34caf6e458f4ff52b9bea37330287f2105549a SHA512 f7f7911e2cbd2a25cf02e4aa4710953bf31db35721e2100838f681ea064476c972e2a8b1426afe5b653fa64571791e0c956d63c4cd65d002390f0587611f4b74
diff --git a/dev-lang/elpi/elpi-1.18.2.ebuild b/dev-lang/elpi/elpi-1.18.2.ebuild
deleted file mode 100644
index 7721a9d3b009..000000000000
--- a/dev-lang/elpi/elpi-1.18.2.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Embeddable Lambda Prolog Interpreter in OCaml"
-HOMEPAGE="https://github.com/LPCIC/elpi/"
-
-if [[ ${PV} == *9999* ]] ; then
-	inherit git-r3
-	EGIT_REPO_URI="https://github.com/LPCIC/${PN}.git"
-else
-	SRC_URI="https://github.com/LPCIC/${PN}/archive/v${PV}.tar.gz
-		-> ${P}.tar.gz"
-	KEYWORDS="~amd64"
-fi
-
-LICENSE="LGPL-2.1+"
-SLOT="0/${PV}"
-IUSE="+ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-	>=dev-lang/ocaml-4.08.0:=
-	>=dev-ml/menhir-20211230:=
-	dev-ml/atd:=
-	dev-ml/ppx_deriving:=
-	dev-ml/ppxlib:=
-	dev-ml/re:=
-	dev-ml/stdlib-shims:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-	test? (
-		dev-ml/ANSITerminal
-		dev-ml/cmdliner
-	)
-"
-
-DOCS=( AUTHORS.md CHANGES.md ELPI.md INCOMPATIBILITIES.md README.md )
-
-src_install() {
-	dune_src_install
-	einstalldocs
-}