diff options
Diffstat (limited to 'dev-ml/core')
-rw-r--r-- | dev-ml/core/Manifest | 6 | ||||
-rw-r--r-- | dev-ml/core/core-0.9.1-r1.ebuild | 30 | ||||
-rw-r--r-- | dev-ml/core/core-0.9.2.ebuild | 29 | ||||
-rw-r--r-- | dev-ml/core/files/glibc225.patch | 12 | ||||
-rw-r--r-- | dev-ml/core/metadata.xml | 20 |
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> |