diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 12:59:29 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-06-30 15:13:23 +0200 |
commit | d124d8fdc0d7f427701acd3e1f9bcd9fc1c1145e (patch) | |
tree | 9d8d21443d8e9d8f8bcc554cc361c5967edc2381 /dev-ml/jst-config | |
parent | dev-ml/jane-street-headers: add 0.16.0 (diff) | |
download | gentoo-d124d8fdc0d7f427701acd3e1f9bcd9fc1c1145e.tar.gz gentoo-d124d8fdc0d7f427701acd3e1f9bcd9fc1c1145e.tar.bz2 gentoo-d124d8fdc0d7f427701acd3e1f9bcd9fc1c1145e.zip |
dev-ml/jst-config: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/jst-config')
-rw-r--r-- | dev-ml/jst-config/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/jst-config/jst-config-0.16.0.ebuild | 28 |
2 files changed, 29 insertions, 0 deletions
diff --git a/dev-ml/jst-config/Manifest b/dev-ml/jst-config/Manifest index 09074433b6d0..a5fcc308de30 100644 --- a/dev-ml/jst-config/Manifest +++ b/dev-ml/jst-config/Manifest @@ -2,3 +2,4 @@ DIST jst-config-0.14.0.tar.gz 4916 BLAKE2B e052cf9aad6e7bef737cd39643663b4577cff DIST jst-config-0.14.1.tar.gz 4931 BLAKE2B b24aefa5f4e0b76c3cfd1ecbb9ae7789891db8ade236f6071b814dc3d4be6d94ad39b2d0808ca81a633f2b7a31db18b530c73a7a0c43c65f4ddc8abe90adddd6 SHA512 0a43ba941c2915afb30b3cdc09c3c83e05d5b1367bf89aaa4b3adb72878c8435e07838bcf345452c25482d7621d2a7277b92328a2a8842ec172d4bf73005d9c2 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 diff --git a/dev-ml/jst-config/jst-config-0.16.0.ebuild b/dev-ml/jst-config/jst-config-0.16.0.ebuild new file mode 100644 index 000000000000..733b5faaf37a --- /dev/null +++ b/dev-ml/jst-config/jst-config-0.16.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 + +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 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:= + dev-ml/dune-configurator:= + dev-ml/ppxlib:= + dev-ml/ppx_assert:= + dev-ml/ppx_compare:= + dev-ml/ppx_here:= + dev-ml/ppx_sexp_conv:= + dev-ml/stdio:= +" +RDEPEND="${DEPEND}" |