[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 972871dc6bdf3986c82cecca917258bfba914c56 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Jun 8 14:20:52 2024 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Jun 8 14:20:52 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=972871dc dev-ml/dune-build-info: Stabilize 3.10.0 amd64, #933822 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild index e9fdb0e0140e..454c8af30a23 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ppc64 x86" +KEYWORDS="amd64 ppc64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 6ea71489fd44ebf219448bd4eccbc6fabcc4ecf6 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Jun 8 14:20:46 2024 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Jun 8 14:20:46 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ea71489 dev-ml/dune-build-info: Stabilize 3.10.0 x86, #933822 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild index aaed4b24cbe2..e9fdb0e0140e 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ppc64 ~x86" +KEYWORDS="~amd64 ppc64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: cf9d4c921c4b454c3b097e2f94a34f756212b802 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Jun 8 14:20:41 2024 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Jun 8 14:20:41 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf9d4c92 dev-ml/dune-build-info: Stabilize 3.10.0 ppc64, #933822 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild index 3d78214334e6..aaed4b24cbe2 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc64 ~x86" +KEYWORDS="~amd64 ppc64 ~x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: df362ac3fc825055b1b789148d9c634b6e49a691 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Jun 8 11:28:43 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Jun 8 11:29:01 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df362ac3 dev-ml/dune-build-info: add 3.11.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.11.1.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index b34183edaf20..4b6587eab0ed 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,5 +1,6 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de +DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b diff --git a/dev-ml/dune-build-info/dune-build-info-3.11.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.11.1.ebuild new file mode 100644 index ..71d9ca2ca130 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.11.1.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 6a8a702a88db02f7cdc95bb65c22408ade92654e Author: Alfredo Tupone gentoo org> AuthorDate: Mon Jun 3 20:41:15 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Jun 3 20:41:32 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a8a702a dev-ml/dune-build-info: drop 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 5 .../dune-build-info/dune-build-info-3.2.0.ebuild | 28 -- .../dune-build-info/dune-build-info-3.7.0.ebuild | 28 -- .../dune-build-info/dune-build-info-3.8.0.ebuild | 28 -- .../dune-build-info/dune-build-info-3.9.0.ebuild | 28 -- .../dune-build-info/dune-build-info-3.9.1.ebuild | 28 -- 6 files changed, 145 deletions(-) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index afa119a19617..b34183edaf20 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,10 +1,5 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de -DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 -DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 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 diff --git a/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild deleted file mode 100644 index b7bbc45378bb.. --- a/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild +++ /dev/null @@ -1,28 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune multiprocessing - -DESCRIPTION="Embed locations informations inside executable and libraries" -HOMEPAGE="https://github.com/ocaml/dune; -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" -S="${WORKDIR}/dune-${PV}" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="+ocamlopt" -RESTRICT="test" - -RDEPEND=">=dev-ml/dune-3.0" -DEPEND="${RDEPEND}" -
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 69b95b2db8120eaa8d77be0792e2373c4cb629dc Author: Arthur Zamarin gentoo org> AuthorDate: Wed Aug 16 13:28:55 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Wed Aug 16 13:28:55 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=69b95b2d dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild index 025ed8c2dca9..4be7514794d3 100644 --- a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="amd64 ppc64 x86" +KEYWORDS="amd64 arm ppc64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: b16d014884d2b6dfb91d4a94c3986b14237d7a0d Author: Alfredo Tupone gentoo org> AuthorDate: Wed Aug 2 19:35:43 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Aug 2 19:52:06 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b16d0148 dev-ml/dune-build-info: add 3.10.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.10.0.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 4ee775def093..afa119a19617 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,5 +1,6 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 diff --git a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild new file mode 100644 index ..3d78214334e6 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 7a9978d3b5c76c7eefb130b118203897e0fc858c Author: Alfredo Tupone gentoo org> AuthorDate: Tue Jul 11 16:49:15 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jul 11 16:49:15 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7a9978d3 dev-ml/dune-build-info: add 3.9.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.9.1.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 23bde17eecc5..4ee775def093 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -6,3 +6,4 @@ 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 diff --git a/dev-ml/dune-build-info/dune-build-info-3.9.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.9.1.ebuild new file mode 100644 index ..3d78214334e6 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.9.1.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 895d5776bc29ab3596f27e73dc1e7acf473ba66f Author: Alfredo Tupone gentoo org> AuthorDate: Mon Jul 3 18:52:11 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Jul 3 19:02:11 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=895d5776 dev-ml/dune-build-info: add 3.9.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.9.0.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 52bf70476e95..23bde17eecc5 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -5,3 +5,4 @@ DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 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 diff --git a/dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild new file mode 100644 index ..3d78214334e6 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 030d2da6fe9a431c0b117b17cc923a4f7eca2b7e Author: Arthur Zamarin gentoo org> AuthorDate: Sat Jun 24 12:34:43 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Jun 24 12:34:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=030d2da6 dev-ml/dune-build-info: Keyword 3.8.0 ppc64, #909073 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild index 2b60d3970e73..3d78214334e6 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64 ~ppc64 ~x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 66b4b77935cc4874e254d6503f920b1c6758efda Author: Alfredo Tupone gentoo org> AuthorDate: Tue May 23 19:17:55 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue May 23 19:36:20 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66b4b779 dev-ml/dune-build-info: add 3.8.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.8.0.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index f6b528c2b033..52bf70476e95 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -4,3 +4,4 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b +DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 diff --git a/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild new file mode 100644 index ..2b60d3970e73 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.8.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 59d45bda7ad26b42913cc04053af82d4c235847c Author: Alfredo Tupone gentoo org> AuthorDate: Sat May 20 16:45:13 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat May 20 16:47:05 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59d45bda dev-ml/dune-build-info: stabilize 3.7.1 for amd64 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild index 2b60d3970e73..961e37103360 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 685deb51df805b59e7e003c7eb20905a988ea65c Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 16 08:25:38 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 16 08:40:37 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=685deb51 dev-ml/dune-build-info: add 3.7.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.7.1.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 747bfa07b0b5..f6b528c2b033 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -3,3 +3,4 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 +DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b diff --git a/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild new file mode 100644 index ..2b60d3970e73 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: b758a62d63ec7a91896904e2148f24a4fe29ae58 Author: Sam James gentoo org> AuthorDate: Fri Mar 17 14:10:48 2023 + Commit: Sam James gentoo org> CommitDate: Fri Mar 17 14:10:48 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b758a62d dev-ml/dune-build-info: Stabilize 3.6.1 amd64, #901677 Signed-off-by: Sam James gentoo.org> dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild index c98be592ea58..a45a35cb43fa 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 x86" +KEYWORDS="amd64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: a6f1fb985aae376fab2c1bdf36ed43c0bf6edae5 Author: Sam James gentoo org> AuthorDate: Fri Mar 17 14:10:47 2023 + Commit: Sam James gentoo org> CommitDate: Fri Mar 17 14:10:47 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a6f1fb98 dev-ml/dune-build-info: Stabilize 3.6.1 x86, #901677 Signed-off-by: Sam James gentoo.org> dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild index be24dbb7501d..c98be592ea58 100644 --- a/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 2ede6a0bd84c8d4708214fb98553e98d5c508600 Author: Arthur Zamarin gentoo org> AuthorDate: Wed Mar 15 20:26:10 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Wed Mar 15 20:26:10 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ede6a0b dev-ml/dune-build-info: Stabilize 2.9.3 ppc64, #896102 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild index e9f1b035b243..025ed8c2dca9 100644 --- a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="amd64 x86" +KEYWORDS="amd64 ppc64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: cfbc90435891fd1c0e27f514e56493af0e034c68 Author: Alfredo Tupone gentoo org> AuthorDate: Wed Mar 1 18:40:21 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Mar 1 18:42:08 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfbc9043 dev-ml/dune-build-info: add 3.7.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.7.0.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 1edd22192bcd..747bfa07b0b5 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -2,3 +2,4 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 +DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 diff --git a/dev-ml/dune-build-info/dune-build-info-3.7.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.7.0.ebuild new file mode 100644 index ..2b60d3970e73 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.7.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 58663b0662c4356a2106e3985cd8d7c86a614d2b Author: Arthur Zamarin gentoo org> AuthorDate: Fri Feb 24 16:14:08 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri Feb 24 16:14:08 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=58663b06 dev-ml/dune-build-info: Stabilize 2.9.3 x86, #896102 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild index 17d92a5ca703..e9f1b035b243 100644 --- a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="amd64 ~x86" +KEYWORDS="amd64 x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 711bbad7a98adca5753382a7ff430cf1756859bc Author: Sam James gentoo org> AuthorDate: Thu Feb 23 23:37:50 2023 + Commit: Sam James gentoo org> CommitDate: Thu Feb 23 23:37:50 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=711bbad7 dev-ml/dune-build-info: Stabilize 2.9.3 amd64, #896102 Signed-off-by: Sam James gentoo.org> dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild index 664ba4dfaa9c..17d92a5ca703 100644 --- a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild +++ b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="+ocamlopt" RESTRICT="test"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: f3946da2d63d30b9bcafa69a0628994da8a4510c Author: Alfredo Tupone gentoo org> AuthorDate: Fri Dec 16 21:40:03 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Dec 16 21:52:00 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f3946da2 dev-ml/dune-build-info: add 3.6.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.6.1.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index a91467260eb1..1edd22192bcd 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,3 +1,4 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 +DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 diff --git a/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild new file mode 100644 index ..be24dbb7501d --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.6.1.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Nov 22 18:34:06 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Nov 22 18:34:25 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f80afee4 dev-ml/dune-build-info: add 3.2.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-3.2.0.ebuild | 28 ++ 2 files changed, 29 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 6632c7b4ccef..a91467260eb1 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,2 +1,3 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 +DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 diff --git a/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild new file mode 100644 index ..b7bbc45378bb --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.0" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 8c9dba3020887288cbf78079f6b25ac449dfc7fe Author: Alfredo Tupone gentoo org> AuthorDate: Sat Jan 29 19:26:30 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Jan 29 19:31:17 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c9dba30 dev-ml/dune-build-info: 2.9.3 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-2.9.3.ebuild | 25 ++ 2 files changed, 26 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index ce6115570e04..6632c7b4ccef 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1 +1,2 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 +DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild new file mode 100644 index ..664ba4dfaa9c --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-2.9.3.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune multiprocessing + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/dune-build-info/
commit: 68c11d2c6e2d6b34d7999f1046864f030569beb0 Author: Maciej Barć gentoo org> AuthorDate: Sat Dec 11 02:40:30 2021 + Commit: Maciej Barć gentoo org> CommitDate: Sat Dec 11 02:57:04 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68c11d2c dev-ml/dune-build-info: new package; add version 2.9.1 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć gentoo.org> dev-ml/dune-build-info/Manifest| 1 + .../dune-build-info/dune-build-info-2.9.1.ebuild | 25 ++ dev-ml/dune-build-info/metadata.xml| 13 +++ 3 files changed, 39 insertions(+) diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest new file mode 100644 index ..ce6115570e04 --- /dev/null +++ b/dev-ml/dune-build-info/Manifest @@ -0,0 +1 @@ +DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 diff --git a/dev-ml/dune-build-info/dune-build-info-2.9.1.ebuild b/dev-ml/dune-build-info/dune-build-info-2.9.1.ebuild new file mode 100644 index ..c23cca94315a --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-2.9.1.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Embed locations informations inside executable and libraries" +HOMEPAGE="https://github.com/ocaml/dune; +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install || die +} diff --git a/dev-ml/dune-build-info/metadata.xml b/dev-ml/dune-build-info/metadata.xml new file mode 100644 index ..3cf03b345ced --- /dev/null +++ b/dev-ml/dune-build-info/metadata.xml @@ -0,0 +1,13 @@ + +https://www.gentoo.org/dtd/metadata.dtd;> + + + +m...@gentoo.org +ML + + +https://github.com/ocaml/dune/issues/ +ocaml/dune + +