summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-01-30 13:38:51 +0100
committerAlfredo Tupone <tupone@gentoo.org>2022-01-30 13:38:51 +0100
commit94427b097d8061db051c68cb2894d984a6a1f097 (patch)
tree76cb830c991da1a2901d53dd37694f7d43fddcf4 /dev-ml
parentdev-ml/jane-street-headers: 0.15.0 bump (diff)
downloadgentoo-94427b097d8061db051c68cb2894d984a6a1f097.tar.gz
gentoo-94427b097d8061db051c68cb2894d984a6a1f097.tar.bz2
gentoo-94427b097d8061db051c68cb2894d984a6a1f097.zip
dev-ml/jst-config: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/jst-config/Manifest1
-rw-r--r--dev-ml/jst-config/jst-config-0.15.0.ebuild23
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/jst-config/Manifest b/dev-ml/jst-config/Manifest
index 9542f0b66b95..a1a20ad65f3b 100644
--- a/dev-ml/jst-config/Manifest
+++ b/dev-ml/jst-config/Manifest
@@ -1,2 +1,3 @@
DIST jst-config-0.14.0.tar.gz 4916 BLAKE2B e052cf9aad6e7bef737cd39643663b4577cffe9b9a8e116a8f23ce8d92ebb172d8c66eb20976c319593c217d95de253b4b7f86c05616bf665061896989f0908c SHA512 9d76f3394490762aaef36a3fd3ced4769da05e5a62176bb215379f18a29eab5089e65f599a3a3621937a5a79fcbda22cecf189e8e290acffef5b565e1b4d3b58
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
diff --git a/dev-ml/jst-config/jst-config-0.15.0.ebuild b/dev-ml/jst-config/jst-config-0.15.0.ebuild
new file mode 100644
index 000000000000..c81b5e3228e7
--- /dev/null
+++ b/dev-ml/jst-config/jst-config-0.15.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/base:=
+ dev-ml/ppx_assert:=
+ dev-ml/stdio:=
+ dev-ml/dune-configurator:=
+"
+RDEPEND="${DEPEND}"