summaryrefslogtreecommitdiff
path: root/dev-ml/core
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
commit1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch)
treee48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/core
parentd87262dd706fec50cd150aab3e93883b6337466d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/core')
-rw-r--r--dev-ml/core/Manifest6
-rw-r--r--dev-ml/core/core-0.9.1-r1.ebuild30
-rw-r--r--dev-ml/core/core-0.9.2.ebuild29
-rw-r--r--dev-ml/core/files/glibc225.patch12
-rw-r--r--dev-ml/core/metadata.xml20
5 files changed, 0 insertions, 97 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
deleted file mode 100644
index c2bedc8b8b82..000000000000
--- a/dev-ml/core/Manifest
+++ /dev/null
@@ -1,6 +0,0 @@
-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
deleted file mode 100644
index 45cc74eb4553..000000000000
--- a/dev-ml/core/core-0.9.1-r1.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# 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
deleted file mode 100644
index d2dbd9555d39..000000000000
--- a/dev-ml/core/core-0.9.2.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# 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
deleted file mode 100644
index 1dd96c8b7b4b..000000000000
--- a/dev-ml/core/files/glibc225.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-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
deleted file mode 100644
index af16efe72137..000000000000
--- a/dev-ml/core/metadata.xml
+++ /dev/null
@@ -1,20 +0,0 @@
-<?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>