From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 21:03:06 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-ml/core/Manifest             |  6 ++++++
 dev-ml/core/core-0.9.1-r1.ebuild | 30 ++++++++++++++++++++++++++++++
 dev-ml/core/core-0.9.2.ebuild    | 29 +++++++++++++++++++++++++++++
 dev-ml/core/files/glibc225.patch | 12 ++++++++++++
 dev-ml/core/metadata.xml         | 20 ++++++++++++++++++++
 5 files changed, 97 insertions(+)
 create mode 100644 dev-ml/core/Manifest
 create mode 100644 dev-ml/core/core-0.9.1-r1.ebuild
 create mode 100644 dev-ml/core/core-0.9.2.ebuild
 create mode 100644 dev-ml/core/files/glibc225.patch
 create mode 100644 dev-ml/core/metadata.xml

(limited to 'dev-ml/core')

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
new file mode 100644
index 000000000000..c2bedc8b8b82
--- /dev/null
+++ b/dev-ml/core/Manifest
@@ -0,0 +1,6 @@
+AUX glibc225.patch 380 BLAKE2B e645ff6879f9a8f4cadb7514cdc8ba2ef0fb7da6db6e34ab888803db25e8db085ee185740d5b80b0c3d2dcc38a010c26379c56857807518f33d27316bf4a6025 SHA512 e41e396448dfc15fa6625bf0356a9059f70e7f013a6e158df377b6d59df1c5b6e922b3704a20e47bfa68d1062022db50d07edaaf075ae1c1163dd9187d798865
+DIST core-0.9.1.tar.gz 735006 BLAKE2B a85b66c810656aca74fbe82fda37a9d73ca295534b1ea5b2a784aef90c5efb8d571fe449d8b8d1f6c7d7365ed5d20a0a04c4d43374831e358ddc1147cc51f583 SHA512 2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
+DIST core-0.9.2.tar.gz 735027 BLAKE2B d33b91d391446d8649ccb84d72f3533e72d2cdb5aca6359049dca0466ac6d23073dc59bc38bc1c9f7bbe47537731984d41a6ac67e4bf9f59ec7be47938bdfd71 SHA512 8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335
+EBUILD core-0.9.1-r1.ebuild 681 BLAKE2B 73b1ba03211e57a0c87fad34c9f6c50f7eaeef7bf55ad9c3f73c60a65dcadc3f7415daa26307fe90788b2e3e9f49423bb17e1612db3233d4ac6adcd4dd2714d5 SHA512 206d1fb5e11e08ad599a73e533701db51ad3788dadb429c5de3b3ae5a76f5809fe67cd55022928dc2243979a5ff71662809f8fc00509f50925547966ea4c0759
+EBUILD core-0.9.2.ebuild 640 BLAKE2B c9d79ab6fe6f54599206c1ec6bf48ffadec856a65a61ad711be0902fbc025b25755d764a18b147235292cd2688c07e56d177909b4d8df8abc4d24cade4eb9d54 SHA512 d87ea809a90e5df898f3a19ea108d432f2f717c35b295294022a5500921412041e6ae8c7142c82d4dcacd484ba47a9c2a64f59b617a1de0188b42473f54c7837
+MISC metadata.xml 724 BLAKE2B a60edae8468f658128a46d975460d3e4b19f25c5d4ac5466a3aada583f3d399c0c784ea491d5ba4a58c3e5bc687839f68ff12d2678dbdc6d211de164efeb23ae SHA512 9ed4c6fe663fd72fc59c264370e343bf8856d54885c9ced805345216d38b8c3384e089e39a013f085c6381a02aabd66ec7536e780d0f2704c972812839a8db01
diff --git a/dev-ml/core/core-0.9.1-r1.ebuild b/dev-ml/core/core-0.9.1-r1.ebuild
new file mode 100644
index 000000000000..45cc74eb4553
--- /dev/null
+++ b/dev-ml/core/core-0.9.1-r1.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+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="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+	dev-ml/base:=
+	dev-ml/configurator:=
+	dev-ml/core_kernel:=
+	dev-ml/ppx_assert:=
+	dev-ml/ppx_driver:=
+	dev-ml/ppx_jane:=
+	dev-ml/sexplib:=
+	dev-ml/spawn:=
+	dev-ml/stdio:=
+	dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND} dev-ml/jbuilder"
+PATCHES=( "${FILESDIR}/glibc225.patch" )
diff --git a/dev-ml/core/core-0.9.2.ebuild b/dev-ml/core/core-0.9.2.ebuild
new file mode 100644
index 000000000000..d2dbd9555d39
--- /dev/null
+++ b/dev-ml/core/core-0.9.2.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+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="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+	dev-ml/base:=
+	dev-ml/configurator:=
+	dev-ml/core_kernel:=
+	dev-ml/ppx_assert:=
+	dev-ml/ppx_driver:=
+	dev-ml/ppx_jane:=
+	dev-ml/sexplib:=
+	dev-ml/spawn:=
+	dev-ml/stdio:=
+	dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND} dev-ml/jbuilder"
diff --git a/dev-ml/core/files/glibc225.patch b/dev-ml/core/files/glibc225.patch
new file mode 100644
index 000000000000..1dd96c8b7b4b
--- /dev/null
+++ b/dev-ml/core/files/glibc225.patch
@@ -0,0 +1,12 @@
+Index: core-0.9.1/src/unix_stubs.c
+===================================================================
+--- core-0.9.1.orig/src/unix_stubs.c
++++ core-0.9.1/src/unix_stubs.c
+@@ -40,6 +40,7 @@
+ #include <arpa/inet.h>
+ #include <netdb.h>
+ #include <ifaddrs.h>
++#include <sys/sysmacros.h>
+ 
+ #if defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__)
+ #define stat64 stat
diff --git a/dev-ml/core/metadata.xml b/dev-ml/core/metadata.xml
new file mode 100644
index 000000000000..af16efe72137
--- /dev/null
+++ b/dev-ml/core/metadata.xml
@@ -0,0 +1,20 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <maintainer type="project">
+    <email>ml@gentoo.org</email>
+    <name>Gentoo ML Project</name>
+  </maintainer>
+  <longdescription lang="en">
+  Core is Jane Street Capital's Ocaml standard library overlay.  It
+  provides tail recursive versions of non tail recursive functions in
+  the standard library, changes the signature of many of the standard
+  modules, and adds new functionality.
+
+  Core_extended adds new functionality, but is only code reviewed on an
+  ad-hoc basis.
+  </longdescription>
+  <upstream>
+    <remote-id type="github">janestreet/core</remote-id>
+  </upstream>
+</pkgmetadata>
-- 
cgit v1.2.3