summaryrefslogtreecommitdiff
path: root/dev-ml/core
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-10-01 20:54:53 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-10-01 20:54:53 +0100
commit391b5b359a346aff490103da7dddc85047f83830 (patch)
tree29eea460a0bd7e1ff21d43b9d6df9af4d8a175e1 /dev-ml/core
parentc719fdcee603a5a706a45d10cb598762d56a727d (diff)
gentoo resync : 01.10.2021
Diffstat (limited to 'dev-ml/core')
-rw-r--r--dev-ml/core/Manifest4
-rw-r--r--dev-ml/core/core-0.14.0-r3.ebuild1
-rw-r--r--dev-ml/core/core-0.14.1.ebuild34
3 files changed, 38 insertions, 1 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index f0bc8fe66c9f..47abfea8a68f 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1,5 @@
DIST core-0.14.0.tar.gz 361607 BLAKE2B 1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3 SHA512 fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
-EBUILD core-0.14.0-r3.ebuild 641 BLAKE2B edb3da1a6608f21de5b96a3017a411bdac80b3f5652450cd96eafeab2206c156bbe22e37decf29bdddd82782c412aa0573102fdcc46ff36ce05e0b17442b5ada SHA512 f95a79cb182f14280d8b244962e48a0f658b70173929e8c04c1215c0bb9fd4fda3f24f9c9a16daa01684f6665a2e45df3fbb7e989d6372abc8b1c438827c4d80
+DIST core-0.14.1.tar.gz 361679 BLAKE2B ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e SHA512 29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f
+EBUILD core-0.14.0-r3.ebuild 663 BLAKE2B 1603396fc7966e792be0d0320b79ca222694d8294ecb657f70794ff69838c9c77401f2c986e93810945a418f2094371afe31bd56183e503c1fb1ed1295c20dee SHA512 6afad762041ff18d91d7be8dd136eaa92d4e51d55d22ce674c56b161104c91d618866db19b65c89e567c8bca5d7209d51d8af5adf6c46c16b5e2c929e20e5726
+EBUILD core-0.14.1.ebuild 712 BLAKE2B 034642d0b7b7e414a3a24dddc76800bec600df99377d8b8f6160975083dcd123db50aa0d415c75b00cfb027845e49a09733b97b0abbcf33979b5f099abf51a36 SHA512 8abcec2a7fddfa7bba42194f87c943f71fed22e9ab7e2fff44e964162e4516c19141d4c4420004c6e7127e064483bc1394df868051b2768e6ec68dfe12d41dea
MISC metadata.xml 710 BLAKE2B 368091778c4347e69ea5398a3f6013d1741bc9fb20acacc861de152c8afd90d9647ef7b31143c26c7e50e0285b52f2a8688b7203821473004a9b237e65585dd7 SHA512 3d29e7a8c748a4849421fb73a1f1225f6480d032d8eb8bd70870567c8f2ac50ef1504c368204f6f063f71f5c984daff98a1109e81674abc8faca10c5a3414efe
diff --git a/dev-ml/core/core-0.14.0-r3.ebuild b/dev-ml/core/core-0.14.0-r3.ebuild
index 1774dc183f88..59ff7c24b085 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -18,6 +18,7 @@ IUSE="+ocamlopt"
RESTRICT="test"
RDEPEND="
+ <dev-lang/ocaml-4.12
dev-ml/base:=
dev-ml/core_kernel:=
dev-ml/jst-config:=
diff --git a/dev-ml/core/core-0.14.1.ebuild b/dev-ml/core/core-0.14.1.ebuild
new file mode 100644
index 000000000000..6ebd5813a98f
--- /dev/null
+++ b/dev-ml/core/core-0.14.1.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core"
+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"
+
+# TODO: Wants quickcheck_deprecated?
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/base:=
+ dev-ml/core_kernel:=
+ dev-ml/jst-config:=
+ dev-ml/ppx_jane:=
+ dev-ml/sexplib:=
+ dev-ml/spawn:=
+ dev-ml/stdio:=
+ dev-ml/timezone:=
+"
+DEPEND="${RDEPEND}"
+
+src_compile() {
+ dune build @install --profile release || die
+}