diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-13 07:01:39 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-13 07:03:11 +0200 |
| commit | 026e1359eea2151f43fa5df11235a0598640507d (patch) | |
| tree | 3393b5c4ff899b00612c595d62736973ba90399b /dev-ml | |
| parent | dev-ml/ppx_optcomp: add 0.17.0 (diff) | |
| download | gentoo-026e1359eea2151f43fa5df11235a0598640507d.tar.gz gentoo-026e1359eea2151f43fa5df11235a0598640507d.tar.bz2 gentoo-026e1359eea2151f43fa5df11235a0598640507d.zip | |
dev-ml/jst-config: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/jst-config/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/jst-config/jst-config-0.17.0.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/jst-config/Manifest b/dev-ml/jst-config/Manifest index a5fcc308de30..674c22f73f61 100644 --- a/dev-ml/jst-config/Manifest +++ b/dev-ml/jst-config/Manifest @@ -3,3 +3,4 @@ DIST jst-config-0.14.1.tar.gz 4931 BLAKE2B b24aefa5f4e0b76c3cfd1ecbb9ae7789891db DIST jst-config-0.15.0.tar.gz 4865 BLAKE2B 165a6aef50f20ed5e71c8211c2ba47dcc03ab7244c692bf3f369b02b8ce0dcfa61bce36d0c93fb5c95fd35883e94621532776c625483e3e692336812eb3183c9 SHA512 59482feb5b02dc09c2cff2154105bc7e162e5788ee357a8663dc8e76eb33ab729e9ba34b2f2a3e49b17fc6e279a6927c2024a32b081b4059b438de81fb1a3790 DIST jst-config-0.15.1.tar.gz 4873 BLAKE2B 6ea2fb305a65f2db0b84dd0f3d9e4e4bb9ff1e10201b0a793bd16820448b04edd4d0b3d5ffc62e28cd177eafd6dea1714e8cadefd16dca1f5f7ab1683d0fb539 SHA512 389854aad6775756fd51374a036c748947f186eae4b48a4863549e7d8efafee25bdfc7c525dd2c466d9f0e0265b48a6e7b950042b6c9014051f8288393173147 DIST jst-config-0.16.0.tar.gz 4952 BLAKE2B 1a4a99594b68ff9f78e0019fb4a788b638b5ac3ea4c570b31d219855db96e086c3ee44b00ab02fe787f0898225bedf311bc86c85f84dbb1cbf892290ea44cbd4 SHA512 379446360c454c90ee80ed08dda3c34aff05d7026e77f868c33eb2fe93921e1ae9412bb69a5c92d54179d5465e0a1aab38cbf8ad55a86b2d164784015152c4ac +DIST jst-config-0.17.0.tar.gz 5052 BLAKE2B 06cac5f2ddb3478a9eaff778fe5893238a177e41138fc44ea596016ee1a9838034cef48597d151b17f9974faa87c88bcd3f4acb130a2b375785d2f443490d3cf SHA512 b6b4fa1ffa88b6f3340e7ecc82666056caab78193176b1737af825a02f1b909c07a3801cd88edd63cb5ef4c007142110b4ca0ae4356962d1256b91c43e20e7e0 diff --git a/dev-ml/jst-config/jst-config-0.17.0.ebuild b/dev-ml/jst-config/jst-config-0.17.0.ebuild new file mode 100644 index 000000000000..5f7266398337 --- /dev/null +++ b/dev-ml/jst-config/jst-config-0.17.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Compile-time configuration for Jane Street libraries" +HOMEPAGE="https://github.com/janestreet/jst-config" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-5 + dev-ml/base:${SLOT}[ocamlopt?] + dev-ml/dune-configurator:=[ocamlopt?] + dev-ml/ppx_assert:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" |