diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/core | |
reinit the tree, so we can have metadata
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/files/glibc225.patch | 12 | ||||
| -rw-r--r-- | dev-ml/core/metadata.xml | 20 |
4 files changed, 68 insertions, 0 deletions
diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest new file mode 100644 index 000000000000..b610035ad137 --- /dev/null +++ b/dev-ml/core/Manifest @@ -0,0 +1,6 @@ +AUX glibc225.patch 380 SHA256 fed176e0d34da9e1b925aaaec6aaf16dfd9c666e53630875436a4e7aa0b9657c SHA512 e41e396448dfc15fa6625bf0356a9059f70e7f013a6e158df377b6d59df1c5b6e922b3704a20e47bfa68d1062022db50d07edaaf075ae1c1163dd9187d798865 WHIRLPOOL d97fda59e30e94ffeab4ddac3ac181d9f36cdc3fa3da964381962129e360b6ea4be248b986bc63c96d5a4acc8b8ddf2a2607a68803a1d533c2762b07844ba088 +DIST core-0.9.1.tar.gz 735006 SHA256 a8d34b76afd8ad5ac525471e7f01d4291203a4b83b9e3051314af13cb169a3ba SHA512 2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a WHIRLPOOL c6e6a9f2e9f29ad04b5850706f116ae23d2cb26550dc1113653c0c857f9f183a9dc6644121aeff2526ef7fd48a4fadc7b8407d615fe3395cf0f526891aaa6699 +EBUILD core-0.9.1-r1.ebuild 681 SHA256 37c52dac78f3436b992ff4dd10a5a5e41169f6f8cceb8fde628af3e7b4f9f198 SHA512 206d1fb5e11e08ad599a73e533701db51ad3788dadb429c5de3b3ae5a76f5809fe67cd55022928dc2243979a5ff71662809f8fc00509f50925547966ea4c0759 WHIRLPOOL 794437277a6c6a5ca627d4c401acef1135f971e540786a7a1bf414efc13d4390178fedd1b14d258f497f32548e113547eb98246b56a2235883c652191f6ada8d +MISC ChangeLog 4261 SHA256 5841523737dc0752d497243a37e937b7d1d5aa17a451293b715d98042344ece3 SHA512 00cba3d0a9d7b937ddec7d1c5d4653bf6808afa4d518d7d79dcedf0ce89f5beda2caa23abd696ba731730deb7990216ac3ba1a14f831360d979c85fe9221922c WHIRLPOOL 5560165f743c021e10fa9d1314091c4aa14eff971c25883d8c79fc5b1e7528193f509c82eaa1e492dd96c68d588a3dccdbc7fd350632fad4bc4920a820707e11 +MISC ChangeLog-2015 5851 SHA256 7f12ee9a845cb2f03a4306cbf42b85ac7c31e7afc95ad81f41235587e7da7f80 SHA512 09ba25a6e04776c48308809367ac06f0da38fb59df95ade317a76addcf2a6d657956a760ec781fdb20b7b18512e371ca38feb39c4ac1e3563a9968d6ecab3aa2 WHIRLPOOL e40416c9411cdfb54c307546c09ddddd12f61fb7a65efb3558cb23690a6859c3f58243db15a9f1cc3f8751dec7c0e8ffd63d09a971ea84c1e264d19daa52b63b +MISC metadata.xml 724 SHA256 96d28ba0dd8f199eedfff77b35eb8f637570cb3b84fe2f935f2afaa04ae6a3fa SHA512 9ed4c6fe663fd72fc59c264370e343bf8856d54885c9ced805345216d38b8c3384e089e39a013f085c6381a02aabd66ec7536e780d0f2704c972812839a8db01 WHIRLPOOL 499fd5dc0c13fab9b5ea29bc95dce808cb098d331d5aca2d1db0f37b24e1daa7ccbda12795087b0401232c426479e48900131a78f9572ca542a42362a2e60ff9 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/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> |