summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-06-30 12:59:29 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-06-30 15:13:23 +0200
commitd124d8fdc0d7f427701acd3e1f9bcd9fc1c1145e (patch)
tree9d8d21443d8e9d8f8bcc554cc361c5967edc2381 /dev-ml/jst-config
parentdev-ml/jane-street-headers: add 0.16.0 (diff)
downloadgentoo-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/Manifest1
-rw-r--r--dev-ml/jst-config/jst-config-0.16.0.ebuild28
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}"