gentoo auto-resync : 20:11:2024 - 03:02:59

7 files changed, 150 insertions, 46 deletions

diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index fa2aa416b0e7..5b3152bf307c 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
diff --git a/dev-ml/coq-menhirlib/Manifest b/dev-ml/coq-menhirlib/Manifest
index 4cd4001c727e..13c32fa7f581 100644
--- a/dev-ml/coq-menhirlib/Manifest
+++ b/dev-ml/coq-menhirlib/Manifest
@@ -1,5 +1,3 @@
-DIST menhir-20231231.tar.bz2 1245465 BLAKE2B 4ac27f693c9b0f34cf6f9c60343cba6c81cc5b4dc278df4da5c16de8484438238efc6e3e985b9f03676f72cc74a0153ea81fd93d057dd2914b86fe1f558d1f9f SHA512 6bcc3d32b9085e407d7ed7abc87bbbb7dcde52da7f5f343cbcf136df4aa2a9b640a94c3b809a125773d186d03bf9b806f9430dbc4a39ded7dd8ef685b1b1a65d
 DIST menhir-20240715.tar.bz2 1245971 BLAKE2B b5f1a1fb234dd53e1d3f77b095e2721f8d2af354a3aa36da2b993dc9f699767bb7c98aae13316ff3405b8bcf80f9ba3addc824ace59f5548613f0f93d105adf7 SHA512 b18da35517702dbdab0d9f5819ad711f61f2ed13ec9e51db71b92fa2d6604cbf28aa6d684c36a41364324694ebbc5dc6aaed4dbb3779c14b399e49ded6fd5db6
-EBUILD coq-menhirlib-20231231-r1.ebuild 908 BLAKE2B 59814d113d29e2df7d72732a40a0d136cd489e6f4addd8707b9f828bfc22a5e2ad381925953cb43c5f15e5d10f69c64ebaaeea29494c604523f801a0134179ce SHA512 318b4bdff670c98f6e954a9d069c71c947eb5a2e53965215bc12eddb25381d94c6d8d72aeaeb9c81ae523e353200804c7eb26ca1ef5ed95c6f06c9a57da5ea71
 EBUILD coq-menhirlib-20240715.ebuild 900 BLAKE2B d05a13753a53e049344515931846340af521d1f22bda7b3f548c506446efe4a5bf41f41a4d9c115d5971047ca9a9fd4142a081f9a3a4338031c3e862f234c24e SHA512 d861e205ddb2bfa43dc77bbe61b58a5ac0e043e8a11959a50961e67dceb7d6c46ede96e1202bcf608c37969c98f02dc79c21b9a2a370a02ff840eaac065276ba
 MISC metadata.xml 233 BLAKE2B 4654803edd576a76b70115913e26d306cc35a2356ed110fb6420e2dd48aef88ab71ee4f5b0cba71b4c2a7624ef42707d405700abf41748e532b9fe0f6cb3b778 SHA512 5158dd5a94fb8cc401825355cc3bb6f04768c6df59fc60593d99f530e27dc448223091a8af25d0e2f4ece9b8a7bf01f4f19f91321901c8f82f55cb4a190b7a70
diff --git a/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild b/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild
deleted file mode 100644
index c4426fec14fc..000000000000
--- a/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="A support library for verified Coq parsers produced by Menhir"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://gitlab.inria.fr/fpottier/menhir.git"
-else
-	SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2"
-	S="${WORKDIR}/menhir-${PV}"
-
-	KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-IUSE="+ocamlopt"
-
-RDEPEND="
-	<sci-mathematics/coq-8.20.0:=
-	>=dev-ml/menhir-${PV}:=
-"
-DEPEND="
-	${RDEPEND}
-"
-
-src_compile() {
-	emake -C "${PN}"
-	edune build @install --profile release -p "${PN}" || die
-}
-
-src_install() {
-	emake -C "${PN}" DESTDIR="${D}" install
-	dune_src_install
-
-	dodoc "${PN}/CHANGES.md" "${PN}/README.md"
-}
diff --git a/dev-ml/llvm-ocaml/Manifest b/dev-ml/llvm-ocaml/Manifest
index a2453962d34f..a7727f158bd8 100644
--- a/dev-ml/llvm-ocaml/Manifest
+++ b/dev-ml/llvm-ocaml/Manifest
@@ -9,6 +9,8 @@ DIST llvm-project-18.1.8.src.tar.xz 132067260 BLAKE2B a950492f1dbfb874dff63b1ffe
 DIST llvm-project-18.1.8.src.tar.xz.sig 566 BLAKE2B 6ab0efc5b38d4483f4e32e8b85774b2edd5d88fdf29f23b88eb0b5130a7a7f0e80549612b025f927e92de4a08ff7c292cff224dbda91a5d598244e98f7ad0fbd SHA512 ddfd1e8a06756759af6cbe488c82a6d6a62ba91f3e8a0eb4cece561321824f5d165b08ed91010588790b76e19790931d2651b24dba8567e3b151d3cb43bec25b
 DIST llvm-project-19.1.3.src.tar.xz 141247864 BLAKE2B 4ccb30accd632a7d54eb065b724ff81ec8a50380fa527111d58acd728eecb798d42f680119b6d1cbc980523e2f39220921ca1f530daa7afea05ab27436dedb7e SHA512 0abaf158b373892d5afc184158600df17a0797547ad7238ca9018d6fcdd7310b0db803d158daa82a2e04bd42d9daebaa2c3e4b9024c0fa2df72a88596575df5c
 DIST llvm-project-19.1.3.src.tar.xz.sig 438 BLAKE2B 44717741ae13bb0c52382647352e52273d8401728dc5cc1cf0c11a8f08cd74b6e3d789e788793aad767030b36fdec62e3a05bdc0b7ff60556cec7ceac17fc239 SHA512 84ef22ee78dbaad4710becbcb02119d06063099f9102bb86f3cd44fbb7e2d87bafe239d8e0cbf22ab5a479f99a11a77125f22394d5006ed86262076ccbf1634d
+DIST llvm-project-19.1.4.src.tar.xz 141255156 BLAKE2B b99cd8a96e38dbcfb582ee5d2250268df36fb94fa0fd5b3611484094fbd7962051978334d2c623d2ff5a0209dbb2c6c6492be0146507ae982a7d3e9705a689c5 SHA512 a586f8a41dde5e0d9ca6d8c58e9ef2a2e59b70a86d2e2c46106dc31b5c096bb80af0cdbdb486179e9cc676a540099f49a1c2db9e5e84c50362db1f72e9af6906
+DIST llvm-project-19.1.4.src.tar.xz.sig 438 BLAKE2B b0925bdb761046d69779e0b035e29430bc09ef2b81be763aa5c853793631d7b7fdd65eb4dae7a1e3b4daa15d189c24cd1e14f065f79fdbf75429fa34be9b330e SHA512 3fb4a6c7594cb43680860698dac47062dde30de60f515dcecdad63812ea1edfb2cb209d0a7ac2254589c245a95b7c0f571b582e0d4b97a6ae8242563483ea764
 DIST llvm-project-3f4468faaa9525ad615118675c3c68938f4a8d5f.tar.gz 221860252 BLAKE2B 6c531df34163dc0879c79b029a13215d1bef2cd95bbaf4a6d5e10b81a8352236283d40f14b62e23a57cc1cf8edce138fb6e2720ced2397d6469c5863564c626d SHA512 4aa485f4547e210cf8f6f8147c4adab3e75afe77f1e4e1bc4718fe681b64bdcf8937f843964542f8ead90ceef52cc0fd4bd8275824d1a4c6961eddafc7d35115
 DIST llvm-project-a6385a3fc8a88f092d07672210a1e773481c2919.tar.gz 222866102 BLAKE2B 9346275b18dcd7eedb699ed3494c027f597f68ceb8ff902fbff9f805a2c423d4fb86619974b3bb6fea30c5fe948e3793fb5c499f9e206b61794e13908d830327 SHA512 ac507feeaba787c6df1ece65e03d065c4f8fbabef686b583f671745e09c9a585be8c9359aeb3aa77815711a2ff9621c1b36a4d24cfe9f8d04e3288b53d7c9c69
 DIST llvm-project-c7df10643bda4acdc9a02406a2eee8aa4ced747f.tar.gz 222622409 BLAKE2B 8b6b53e0d51a681ec2e3ea1c873df95357e1333a598d26921c72f4ce05872aa5fe00a046bfe8811e2c8c1a2ffced7a325a0399bd931e54cf2aeb23abe887bde7 SHA512 e78219c87f001c813844ff652bf065f7c1d1bbf09af801ed1e99e9f40b981896bcee699d2ab15c71478388987c4030750a7958265d374b9f568fdf7af3dd3a21
@@ -17,6 +19,7 @@ EBUILD llvm-ocaml-16.0.6.ebuild 2510 BLAKE2B 129a25c76d02640a151bd2ba8b1542e34bc
 EBUILD llvm-ocaml-17.0.6.ebuild 2510 BLAKE2B 129a25c76d02640a151bd2ba8b1542e34bc4b0adb5aac797f96f7f888b8939ae33dcda9eb1f2ec31eae81575ac3e32995b9e99de3540f3fdc8e085b0185200ec SHA512 250285a57be6d7cfbddd4a9ff4ab8bc25e2813441da263bfef1a7a4d11658b6ed9a3d280ada7b1e45c5cb472e6647eff260926672089e7e445a12be6a5344bdb
 EBUILD llvm-ocaml-18.1.8.ebuild 2466 BLAKE2B 7480f9140cbdd2ec337cd08924013f1f9751bc34c3223b3f5be441e4d06d131f74aca0cb0115c71ebacb3909240e42d4608dddf98bb6f69e371d5e86e19141f5 SHA512 b7c05d3be29399eb9fb4267537a450daf00b7d8f6bd2be472e5802d4072e3a805db8d5f4fa2830ec46655170a7f2fc1119825327b2d4008af8364772fc215f65
 EBUILD llvm-ocaml-19.1.3.ebuild 2466 BLAKE2B 7480f9140cbdd2ec337cd08924013f1f9751bc34c3223b3f5be441e4d06d131f74aca0cb0115c71ebacb3909240e42d4608dddf98bb6f69e371d5e86e19141f5 SHA512 b7c05d3be29399eb9fb4267537a450daf00b7d8f6bd2be472e5802d4072e3a805db8d5f4fa2830ec46655170a7f2fc1119825327b2d4008af8364772fc215f65
+EBUILD llvm-ocaml-19.1.4.ebuild 2466 BLAKE2B 7480f9140cbdd2ec337cd08924013f1f9751bc34c3223b3f5be441e4d06d131f74aca0cb0115c71ebacb3909240e42d4608dddf98bb6f69e371d5e86e19141f5 SHA512 b7c05d3be29399eb9fb4267537a450daf00b7d8f6bd2be472e5802d4072e3a805db8d5f4fa2830ec46655170a7f2fc1119825327b2d4008af8364772fc215f65
 EBUILD llvm-ocaml-20.0.0.9999.ebuild 2439 BLAKE2B 78ec9994e7e03caf7e32e36c1c8b697039e1c8bcaaf89289ccfc53ccb286d8f3f855048162452782292c2f67e1c4476fa24898c595a55f89aabeef83283fc23a SHA512 b36e82afdfeff73650c86ee1ca59a6c1796a7445a34cc9711d65841380c5a023f661dfd723f4311b537ab5047d4a4bef497ca20e106b1cc0832851674677391b
 EBUILD llvm-ocaml-20.0.0_pre20241029.ebuild 2439 BLAKE2B 78ec9994e7e03caf7e32e36c1c8b697039e1c8bcaaf89289ccfc53ccb286d8f3f855048162452782292c2f67e1c4476fa24898c595a55f89aabeef83283fc23a SHA512 b36e82afdfeff73650c86ee1ca59a6c1796a7445a34cc9711d65841380c5a023f661dfd723f4311b537ab5047d4a4bef497ca20e106b1cc0832851674677391b
 EBUILD llvm-ocaml-20.0.0_pre20241106.ebuild 2439 BLAKE2B 78ec9994e7e03caf7e32e36c1c8b697039e1c8bcaaf89289ccfc53ccb286d8f3f855048162452782292c2f67e1c4476fa24898c595a55f89aabeef83283fc23a SHA512 b36e82afdfeff73650c86ee1ca59a6c1796a7445a34cc9711d65841380c5a023f661dfd723f4311b537ab5047d4a4bef497ca20e106b1cc0832851674677391b
diff --git a/dev-ml/llvm-ocaml/llvm-ocaml-19.1.4.ebuild b/dev-ml/llvm-ocaml/llvm-ocaml-19.1.4.ebuild
new file mode 100644
index 000000000000..84bd71875fac
--- /dev/null
+++ b/dev-ml/llvm-ocaml/llvm-ocaml-19.1.4.ebuild
@@ -0,0 +1,108 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..13} )
+inherit cmake llvm.org llvm-utils python-any-r1
+
+DESCRIPTION="OCaml bindings for LLVM"
+HOMEPAGE="https://llvm.org/"
+
+LICENSE="Apache-2.0-with-LLVM-exceptions UoI-NCSA"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~x86"
+IUSE="debug test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.00.0:0=
+	dev-ml/ocaml-ctypes:=
+	~sys-devel/llvm-${PV}:=[debug?]
+	!sys-devel/llvm[ocaml(-)]
+"
+
+DEPEND="
+	${RDEPEND}
+"
+BDEPEND="
+	${PYTHON_DEPS}
+	dev-lang/perl
+	dev-ml/findlib
+"
+
+LLVM_COMPONENTS=( llvm cmake third-party )
+LLVM_USE_TARGETS=llvm
+llvm.org_set_globals
+
+src_configure() {
+	llvm_prepend_path "${LLVM_MAJOR}"
+
+	local libdir=$(get_libdir)
+	local mycmakeargs=(
+		-DLLVM_LIBDIR_SUFFIX=${libdir#lib}
+
+		-DBUILD_SHARED_LIBS=OFF
+		-DLLVM_BUILD_LLVM_DYLIB=ON
+		-DLLVM_LINK_LLVM_DYLIB=ON
+		-DLLVM_OCAML_OUT_OF_TREE=ON
+
+		# cheap hack: LLVM combines both anyway, and the only difference
+		# is that the former list is explicitly verified at cmake time
+		-DLLVM_TARGETS_TO_BUILD=""
+		-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD="${LLVM_TARGETS// /;}"
+		-DLLVM_BUILD_TESTS=$(usex test)
+
+		# disable various irrelevant deps and settings
+		-DLLVM_ENABLE_FFI=OFF
+		-DLLVM_ENABLE_TERMINFO=OFF
+		-DHAVE_HISTEDIT_H=NO
+		-DLLVM_ENABLE_ASSERTIONS=$(usex debug)
+		-DLLVM_ENABLE_EH=ON
+		-DLLVM_ENABLE_RTTI=ON
+
+		-DLLVM_HOST_TRIPLE="${CHOST}"
+
+		-DPython3_EXECUTABLE="${PYTHON}"
+
+		# TODO: ocamldoc
+	)
+
+	use test && mycmakeargs+=(
+		-DLLVM_LIT_ARGS="$(get_lit_flags)"
+	)
+
+	# LLVM_ENABLE_ASSERTIONS=NO does not guarantee this for us, #614844
+	# also: custom rules for OCaml do not work for CPPFLAGS
+	use debug || local -x CFLAGS="${CFLAGS} -DNDEBUG"
+	cmake_src_configure
+
+	local llvm_libdir=$(llvm-config --libdir)
+	# an ugly hack; TODO: figure out a way to pass -L to ocaml...
+	cd "${BUILD_DIR}/${libdir}" || die
+	ln -s "${llvm_libdir}"/*.so . || die
+
+	if use test; then
+		local llvm_bindir=$(llvm-config --bindir)
+		# Force using system-installed tools.
+		sed -i -e "/llvm_tools_dir/s@\".*\"@\"${llvm_bindir}\"@" \
+			"${BUILD_DIR}"/test/lit.site.cfg.py || die
+	fi
+}
+
+src_compile() {
+	cmake_build ocaml_all
+}
+
+src_test() {
+	# respect TMPDIR!
+	local -x LIT_PRESERVES_TMP=1
+	cmake_build check-llvm-bindings-ocaml
+}
+
+src_install() {
+	DESTDIR="${D}" \
+	cmake -P "${BUILD_DIR}"/bindings/ocaml/cmake_install.cmake || die
+
+	dodoc bindings/ocaml/README.txt
+}
diff --git a/dev-ml/ocamlfuse/Manifest b/dev-ml/ocamlfuse/Manifest
index 03fa267b7473..0e46b76652b4 100644
--- a/dev-ml/ocamlfuse/Manifest
+++ b/dev-ml/ocamlfuse/Manifest
@@ -1,5 +1,7 @@
 AUX ocamlfuse-2.7.1_p7-Wint.patch 1705 BLAKE2B 3e4d208a54d054803f60e9ce1ae6a8b3ca58a3807bc06744d2ed5ccda2d6bafd44f3bd071ae604dce2822d3c31de4d1f710e964dfb95c483a3879c2858ef0cdc SHA512 637b88e6241740de3b04663d3bfb53963a9b1b83cd5efca6827ae575534e83a4e0bfad96a433e6cffffad405352a437c17ca857e39cff6aa650889134c26226b
 AUX ocamlfuse-2.7.1_p7-unistd.patch 259 BLAKE2B 188881834218ea5514bde2bf64f952e759997eeaa11fe0c7e6d12975e29d2274b7453ea4db23ecfe0548afdedbb10b25287b871b9d3d0898576973ecc956ffe8 SHA512 852e6d8352953294b0d5d2f6a3d10b7af4cd1f6514284221470a0ec92b51643f8afaa85ee117c1c21b12ecb8660547a2a58ef12c3cf9b57cdb6620434695acae
+DIST ocamlfuse-2.7.1_p11.tar.gz 24403 BLAKE2B 5ea9c3680b857f438439a4ac67992d2524edf60ff98e6bb2783fcb72f63978daa8eb840ba5ff9ab687c30f72991f9f3a96b12800014e4e8408000b1ee5927e78 SHA512 e77bc2bcb77d2f17183c1de6113bd7e4d888f60c6ceacc326e4b03ccfef6f1608b1feef58ed7f6e16fe22d645714c40140580bb19ae52dab11ce62e94dfdd1fa
 DIST ocamlfuse-2.7.1_p7-r1.tar.gz 21469 BLAKE2B fa587d19124c2e2d320091bb42b098644d3112e39652dbf621c88f701effdab0ce15372b6f2461709eb3afe628e2888db3a7a0c9abeab8b8a136d09c69c84ac4 SHA512 342a6ce8a81ac05d47d4458ef6e9aa750e4e7643a89d28705664852f0549e1932643e8db5d93225ba496611654b3f11fef6aca1e6e40e8d4b30064fc9c65f7fd
+EBUILD ocamlfuse-2.7.1_p11.ebuild 688 BLAKE2B dc6f20b47257dd0ca777d83958a8285f91c9425452375d36380d29262d1c2fde0f2ba9b786bc2ef9badaa50fe58260eb5f47515991123b3ba105f2329e708502 SHA512 4d28b984a4dba60736453d13f4feb2295f990aba351d6eb02dd1044a296e86fdf51593cc86820251796393058c4766e2c8c0175bfd35bd2ad40838dfc4fb57bc
 EBUILD ocamlfuse-2.7.1_p7-r1.ebuild 765 BLAKE2B bda20fa259bc3d55033063b6b4dce4575c87dec99c9c06f99d198792ccc77327194d7bad66b669fe613511ede66bc60a3aea9b5072fe8d9aad7cc4e583ce473a SHA512 78838d946489b9ced94307bec17f30e64b5205a09625dff82a5bb8ecc188b8a9b36d1bf1f047f22ce9730439cc0bd6d5c1c2ed812abec656b1ca7a0010eaf523
 MISC metadata.xml 990 BLAKE2B 926400ebc857a10b0e2694a7747a1c4d00668e6b123ca867bf0e16d59e69ce060dea1c41f7eb11126676dadbd34268c97c840ffea373230a0bdc5198cd510345 SHA512 d0309f117de7a59f80ee141a4bc55204d4798c69a7f73e4d967168383c236385e280cb9fde03c96570458de029e45ae1a8c24d79e19f4749d8fd15705cd96305
diff --git a/dev-ml/ocamlfuse/ocamlfuse-2.7.1_p11.ebuild b/dev-ml/ocamlfuse/ocamlfuse-2.7.1_p11.ebuild
new file mode 100644
index 000000000000..bdb100f6ada5
--- /dev/null
+++ b/dev-ml/ocamlfuse/ocamlfuse-2.7.1_p11.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune toolchain-funcs
+
+MYPV="${PV/_p/_cvs}"
+
+DESCRIPTION="OCaml binding for fuse"
+HOMEPAGE="
+	https://sourceforge.net/projects/ocamlfuse/
+	https://github.com/astrada/ocamlfuse
+	https://opam.ocaml.org/packages/ocamlfuse
+"
+SRC_URI="https://github.com/astrada/${PN}/archive/v${MYPV}.tar.gz -> ${PF}.tar.gz"
+S="${WORKDIR}/${PN}-${MYPV}"
+
+LICENSE="GPL-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+RDEPEND="
+	dev-ml/camlidl:=
+	sys-fs/fuse:0
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	dev-ml/dune-configurator
+	dev-ml/opam
+"
+
+src_compile() {
+	tc-export CPP
+	dune_src_compile
+}