diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-07-11 22:30:49 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-07-11 22:30:49 +0100 |
commit | 146120220e830d8902860e18cdb15b23c5b575b8 (patch) | |
tree | 1e3346a230a3c4a71944940ac918d70580459753 /dev-ml/dune | |
parent | 788bcc2dc1910a097d019f25e3e70dc7b4fdc903 (diff) |
gentoo auto-resync : 11:07:2023 - 22:30:49
Diffstat (limited to 'dev-ml/dune')
-rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune/dune-3.9.1.ebuild | 68 |
2 files changed, 70 insertions, 0 deletions
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest index 2ec8881d6d64..950da0a2d77e 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -12,6 +12,7 @@ DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b7 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 +DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b EBUILD dune-2.8.4.ebuild 925 BLAKE2B aaf039c23fdec35db8eafa1362e05e0a0007b4d5a59483726cffdd4c3f2738ab53cae26451001fa051fe46444f29d08ffd3e22233acaa3280db2c761822c1295 SHA512 175a4b03a248ade24a4a0fc232d13364f5332f9cd686056710dd1fce04b27ac59d81b3844ef1476867f3c5f646167dc40ada4609afc5594ac721ca5f216670a7 EBUILD dune-2.9.1.ebuild 904 BLAKE2B f98314d3cd1daa6fd08610daee2695a30b4c751bc1d060aad8b99b8e3e138fbe9751a92b5df3e1d1f62a8235b509ed884c75f2e11673d8a8a3cb50ddc414bdd2 SHA512 10a59aa34098669ca0d6d6a568cc63d124fd174850bb66591e9798b452629cc7647d6204050a4fbda2db394782c17590155467d798783018ff1205cde4b92e0e EBUILD dune-2.9.3-r3.ebuild 1265 BLAKE2B 0aa481a6b75ba13972682b92d5c39d07bf84918b09c7b210ebd667e53a4eb7173ea4ae4ca136cb55ad07b6c8bed1f033eaeedcff56af6c8644007df85df29d01 SHA512 46a7ecc0d6fe9ea59706dd71c26bc7064e735f5045f62e4204f474459d09671e028c6c7129a18bffdce6585739545f49093c0ba24b8a9fd22ca849a8c5fbcda8 @@ -25,4 +26,5 @@ EBUILD dune-3.7.0.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff6 EBUILD dune-3.7.1.ebuild 1565 BLAKE2B fb9eb53ad7861e8ee463d1d3ba4ab4b064f9be5e5dc2c06c5db2d47667b750c1f22c46c9b8ebf66865dff90deab4bd779a06d0ed356bf51c47df38ba3316bc72 SHA512 67e67dc445792fa5a2fb0bba48b39a85c2b8704489852c57695de9f499cba23bb2324d93b36e44e7457ce9f48f7f2c8af6d9a695645e8abc90d1d62b986b8d2f EBUILD dune-3.8.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d EBUILD dune-3.9.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d +EBUILD dune-3.9.1.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune/dune-3.9.1.ebuild b/dev-ml/dune/dune-3.9.1.ebuild new file mode 100644 index 000000000000..4055f5de2e82 --- /dev/null +++ b/dev-ml/dune/dune-3.9.1.ebuild @@ -0,0 +1,68 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit multiprocessing elisp-common + +DESCRIPTION="A composable build system for OCaml" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="emacs" +RESTRICT="strip test" + +RDEPEND=" + >=dev-lang/ocaml-4.08:= + emacs? ( >=app-editors/emacs-23.1:* ) +" +DEPEND="${RDEPEND}" + +QA_FLAGS_IGNORED="usr/bin/dune" + +BYTECOMPFLAGS="-L ${S}/editor-integration/emacs" +SITEFILE="50${PN}-gentoo.el" + +src_prepare() { + default + + # This allows `dune --version` to output the correct version + # instead of "n/a" + sed -i "/^(name dune)/a (version ${PV})" dune-project || die +} + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir=/usr/share/man \ + --docdir=/usr/doc \ + --etcdir=/etc \ + --datadir=/usr/share \ + --sbindir=/usr/sbin \ + --bindir=/usr/bin \ + || die +} + +src_compile() { + ocaml boot/bootstrap.ml -j $(makeopts_jobs) --verbose || die + ./_boot/dune.exe build @install -p "${PN}" --profile dune-bootstrap \ + -j $(makeopts_jobs) --display short || die + + use emacs && elisp-compile editor-integration/emacs/*.el +} + +src_install() { + default + + dodir /usr/share/doc + mv "${ED}"/usr/doc/dune "${ED}"/usr/share/doc/${PF} || die + rmdir "${ED}"/usr/doc || die + + if use emacs ; then + elisp-install ${PN} editor-integration/emacs/*.el{,c} + elisp-site-file-install "${FILESDIR}/${SITEFILE}" + fi +} |