summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-10-01 19:03:45 +0200
committerAlfredo Tupone <tupone@gentoo.org>2021-10-01 19:03:45 +0200
commit1cb13bf391ad0598f39f71ca59a2cd5637c701ce (patch)
tree586544453442031f547eb1abf7a846dd1c3bd94c /dev-ml/core
parentapp-editors/emacs: Upstream has branched for release. (diff)
downloadgentoo-1cb13bf391ad0598f39f71ca59a2cd5637c701ce.tar.gz
gentoo-1cb13bf391ad0598f39f71ca59a2cd5637c701ce.tar.bz2
gentoo-1cb13bf391ad0598f39f71ca59a2cd5637c701ce.zip
dev-ml/core: bump 0.14.1
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/core')
-rw-r--r--dev-ml/core/Manifest1
-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, 36 insertions, 0 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 82e5ecf49a8f..f0084c0cd37c 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
DIST core-0.14.0.tar.gz 361607 BLAKE2B 1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3 SHA512 fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
+DIST core-0.14.1.tar.gz 361679 BLAKE2B ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e SHA512 29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f
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
+}