diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 14:43:12 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:13:55 +0200 |
commit | 063737b33759e5442e84c83aca2d6f6544ef1b6d (patch) | |
tree | 2359948d54e694682ba02f3576655642952cd988 /dev-ml | |
parent | dev-ml/stdio: add 0.16.0 (diff) | |
download | gentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.tar.gz gentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.tar.bz2 gentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.zip |
dev-ml/ppx_optcomp: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/ppx_optcomp/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ppx_optcomp/ppx_optcomp-0.16.0.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_optcomp/Manifest b/dev-ml/ppx_optcomp/Manifest index 111954f46720..d5b4b8e71731 100644 --- a/dev-ml/ppx_optcomp/Manifest +++ b/dev-ml/ppx_optcomp/Manifest @@ -1,3 +1,4 @@ DIST ppx_optcomp-0.14.0.tar.gz 16583 BLAKE2B 9b139708e02501245d5440a862324fe0191c9c96772e6599ed474a734263c4d2c0fa08fff666abd2efb218ec03a2b9b47c5ef6480d53a8d0f280550b741ac39a SHA512 e86b108d805500cbd7be628f41436ec8de0e8622d4218631d01bf73b0e70da0a057b8531465206baa9b8851ce9c22c5cd53921fccfae352ee46527d69964dc44 DIST ppx_optcomp-0.14.3.tar.gz 16749 BLAKE2B 3c6dd2b5ac0a10e3d95c6a734ee09b0bef8af6d949c9f31150f1f8ac14ec72bb06455c3bf0c025bc99b939fa86b0d730abd8aefcdbd3998bfc16eef7a6a766bd SHA512 73b53dece639aebe20a8c9eaec50f6f491ac8163d96ceab66169d99f9bb50ed9c40c38731cd6e8543dae97c3a45650733d622e5bd4a2db812000c4694c823157 DIST ppx_optcomp-0.15.0.tar.gz 16699 BLAKE2B b13f9aa50bd46a9ea552677b0c9bc611b6657e6ba7cff1e06d6489d2ffaa646bc3643eee08dbe07f52130ea27b3e607bbf620b0a94f8acdaf7bd045ab1a1c536 SHA512 302c2ab79c46a16b8a256167958ad9a87b34a2e7ddc70c7a5476cfb0feffc7de7bebc79c272526698e87804859555176facfb04bc72f3b4373c1cb138b1264c7 +DIST ppx_optcomp-0.16.0.tar.gz 16789 BLAKE2B 102c9daa01a9fbda926d0ce11546bb7a5a9520f00a57e504e88da383ed793498f23bd6de672f55116d2844a9e474d9a0c3471e7438e91c7019d6384acb40252d SHA512 8a10136a16423723a8cd1414ebad2c2029e8d28c563ce884eaceb85a363df7f019a08cee6194f7dbbc0290666909dbd9557d2900a8ce055ac57069364c785806 diff --git a/dev-ml/ppx_optcomp/ppx_optcomp-0.16.0.ebuild b/dev-ml/ppx_optcomp/ppx_optcomp-0.16.0.ebuild new file mode 100644 index 000000000000..dc80a49fa3c3 --- /dev/null +++ b/dev-ml/ppx_optcomp/ppx_optcomp-0.16.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Optional compilation for OCaml" +HOMEPAGE="https://github.com/janestreet/ppx_optcomp" +SRC_URI="https://github.com/janestreet/ppx_optcomp/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:${SLOT} + dev-ml/findlib:= + dev-ml/stdio:${SLOT} + >=dev-ml/ppxlib-0.28.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= +" +RDEPEND="${DEPEND}" |