From b24bd25253fe093f722ab576d29fdc41d04cb1ee Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 2 Aug 2019 19:14:55 +0100 Subject: gentoo resync : 02.08.2019 --- dev-ml/Manifest.gz | Bin 40975 -> 41300 bytes dev-ml/dune/Manifest | 3 + dev-ml/dune/dune-1.7.2.ebuild | 37 +++++++ dev-ml/dune/metadata.xml | 11 ++ dev-ml/facile/Manifest | 2 +- dev-ml/facile/facile-1.1.3.ebuild | 2 +- dev-ml/llvm-ocaml/Manifest | 14 +-- dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild | 130 +++++++++++++++++++++++ dev-ml/llvm-ocaml/llvm-ocaml-5.0.2.ebuild | 5 +- dev-ml/llvm-ocaml/llvm-ocaml-6.0.1.ebuild | 5 +- dev-ml/llvm-ocaml/llvm-ocaml-7.1.0.ebuild | 3 +- dev-ml/llvm-ocaml/llvm-ocaml-8.0.0.ebuild | 3 +- dev-ml/llvm-ocaml/llvm-ocaml-8.0.1.ebuild | 126 +++++++++++++++++++++++ dev-ml/llvm-ocaml/llvm-ocaml-8.0.9999.ebuild | 127 ----------------------- dev-ml/llvm-ocaml/llvm-ocaml-9.0.0.9999.ebuild | 126 +++++++++++++++++++++++ dev-ml/llvm-ocaml/llvm-ocaml-9999.ebuild | 131 ------------------------ dev-ml/menhir/Manifest | 2 + dev-ml/menhir/menhir-20181006.ebuild | 36 +++++++ dev-ml/ocplib-simplex/Manifest | 2 + dev-ml/ocplib-simplex/ocplib-simplex-0.4.ebuild | 33 ++++++ dev-ml/seq/Manifest | 4 + dev-ml/seq/files/seq-0.1-gentoo.patch | 10 ++ dev-ml/seq/metadata.xml | 11 ++ dev-ml/seq/seq-0.1.ebuild | 32 ++++++ 24 files changed, 579 insertions(+), 276 deletions(-) create mode 100644 dev-ml/dune/Manifest create mode 100644 dev-ml/dune/dune-1.7.2.ebuild create mode 100644 dev-ml/dune/metadata.xml create mode 100644 dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild create mode 100644 dev-ml/llvm-ocaml/llvm-ocaml-8.0.1.ebuild delete mode 100644 dev-ml/llvm-ocaml/llvm-ocaml-8.0.9999.ebuild create mode 100644 dev-ml/llvm-ocaml/llvm-ocaml-9.0.0.9999.ebuild delete mode 100644 dev-ml/llvm-ocaml/llvm-ocaml-9999.ebuild create mode 100644 dev-ml/menhir/menhir-20181006.ebuild create mode 100644 dev-ml/ocplib-simplex/ocplib-simplex-0.4.ebuild create mode 100644 dev-ml/seq/Manifest create mode 100644 dev-ml/seq/files/seq-0.1-gentoo.patch create mode 100644 dev-ml/seq/metadata.xml create mode 100644 dev-ml/seq/seq-0.1.ebuild (limited to 'dev-ml') diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz index 168821e15557..5879ce7c2517 100644 Binary files a/dev-ml/Manifest.gz and b/dev-ml/Manifest.gz differ diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest new file mode 100644 index 000000000000..6a986fd802d6 --- /dev/null +++ b/dev-ml/dune/Manifest @@ -0,0 +1,3 @@ +DIST dune-1.7.2.tar.gz 666745 BLAKE2B 2edda7273f92bcb9c20b5cb9a8eee75ad33c3ce1bd88406dbd51256373c554b5442096fb74ba990ee2fcec784c19ab55099e70385f040e1055a30c925cf50987 SHA512 2d53fb910fdf8774fc9ef5343831311d1d4007fe5ef47a5084596b98dd8c89b7a404912e959753d6a8d7eb8b8a923d6a7bc74dad2cdb2c80d26b3fa48373658c +EBUILD dune-1.7.2.ebuild 768 BLAKE2B f1145e0b22edcc4e1508ae7214c0011d7e06f47ec0bb175882201c74ed38ea52fde08acab40d72cdcc924610d69c5b1a4787563d0f858d7e4033c0d44aeff4ee SHA512 78542aa9740e27b8d40d4a1d8e3830af0525a745d08efb0b6c3cf62cd8dc706d0c2f1ebc7d2ce2773a5598f54f0aa46459d0696d02711a446c1888cc4a9daf1b +MISC metadata.xml 322 BLAKE2B f2ec51b1449266da30a270b152a5fc3628e03e3d74b4af1f609da068b98ee3659b33094f787f5efb6fe60b779356bb50a3e6ad2314c3112c38b68562b3fd108f SHA512 7255ddef00376508b8381c76f1ce1789c99f13137e6a479051c1d1a089875168c2dc50e1f997125356181e0b13aa140098c62f7cda8807852254889b220cb3bc diff --git a/dev-ml/dune/dune-1.7.2.ebuild b/dev-ml/dune/dune-1.7.2.ebuild new file mode 100644 index 000000000000..f771167311a4 --- /dev/null +++ b/dev-ml/dune/dune-1.7.2.ebuild @@ -0,0 +1,37 @@ +# Copyright 2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit multiprocessing + +DESCRIPTION="A composable build system for OCaml" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/1.7.2.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="test" + +DEPEND="dev-lang/ocaml" +RDEPEND="${DEPEND} + !dev-ml/jbuilder" +BDEPEND="" + +RESTRICT="test" + +src_configure() { + ocaml configure.ml --libdir "${EPREFIX}/usr/$(get_libdir)/ocaml" || die +} + +src_compile() { + ocaml bootstrap.ml || die + ./boot.exe -j $(makeopts_jobs) || die +} + +src_install() { + default + mv "${D}"/usr/doc "${D}"/usr/share/doc/${PF} + mv "${D}"/usr/man "${D}"/usr/share/man +} diff --git a/dev-ml/dune/metadata.xml b/dev-ml/dune/metadata.xml new file mode 100644 index 000000000000..c5012bdb96b4 --- /dev/null +++ b/dev-ml/dune/metadata.xml @@ -0,0 +1,11 @@ + + + + + ml@gentoo.org + Gentoo ML Project + + + ocaml/dune + + diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index e588f58ffe97..f1b0b196afb4 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,4 +1,4 @@ AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 -EBUILD facile-1.1.3.ebuild 1386 BLAKE2B a97641878592496d17132f0c90f73daaff1f1f4ec17f0b89bc1cc66502b54c68c702fa2a01c2aa7a5e6d1b094bba4def1f24c7bc52d36c27201421466fa4148a SHA512 71f63982de22c76204fe15d83e38313490c9aaf47d2e8ce098ccbfa5d1d9d7c44410af8c53a541e653ded68b09547938e4eca80d42c8fbcf8d33349375757ced +EBUILD facile-1.1.3.ebuild 1385 BLAKE2B dc1c3034f0240adac565f6717f9829d3b27152c773c5157330f7eff2e5a3e3780ff5d6e4ad274acf93ea910d53fbdbe90f6eb4367324d268411e328212f2ff2a SHA512 6b76440897d80f7be9191305fbed8e9daff8c820036aa7d505debe5f3ef7be77f0aa12c3a6d3e9d44718c6bfe2851b4f90fb83161a385b3d2d42e75f70da91a2 MISC metadata.xml 357 BLAKE2B d06a43a03a328a01985ccb6d8f3c374215a678da2c7019fae195f49d86a55245cbd3fdd4b43641b0b1b92000a9546600451985421551bc1e10239cc4716c9d57 SHA512 8491e3bed96f117fe721e3e6d261d75480e0b183c06ec21d606ccf659263dc8c2642b1fd30f89aec63a2e70a725f71985119117c1c11fa3fe8b49b7c31db969c diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild index 2eb0fbb4b30b..4bf113237c45 100644 --- a/dev-ml/facile/facile-1.1.3.ebuild +++ b/dev-ml/facile/facile-1.1.3.ebuild @@ -10,7 +10,7 @@ SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="alpha amd64 ~arm64 hppa ia64 ppc ppc64 ~sparc x86 ~x86-fbsd" +KEYWORDS="alpha amd64 arm64 hppa ia64 ppc ppc64 ~sparc x86 ~x86-fbsd" IUSE="+ocamlopt" RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" diff --git a/dev-ml/llvm-ocaml/Manifest b/dev-ml/llvm-ocaml/Manifest index 6765118ab721..afbdbc3e49de 100644 --- a/dev-ml/llvm-ocaml/Manifest +++ b/dev-ml/llvm-ocaml/Manifest @@ -2,10 +2,12 @@ DIST llvm-5.0.2.src.tar.xz 23451868 BLAKE2B b7082be2e4ad557b29b9f6869811f262adcf DIST llvm-6.0.1.src.tar.xz 25306628 BLAKE2B 60232d4d22f8096b565cc8d81fea0639f24f14e8fc4f66ade69fa15479181f07f655f26dff3fa24bf105762b495da316c5c9352db234bd0af6b9c3fff6d4d881 SHA512 cbbb00eb99cfeb4aff623ee1a5ba075e7b5a76fc00c5f9f539ff28c108598f5708a0369d5bd92683def5a20c2fe60cab7827b42d628dbfcc79b57e0e91b84dd9 DIST llvm-7.1.0.src.tar.xz 28313784 BLAKE2B b78d9a7fc5ef6e352e77d339e5c4eef5ccedf67c05e7abd949e72619aa8a5ed65e7e5e2008354be8e7916d75581719b99f34227838fcc86c5d0080913c2fb22c SHA512 a7dbd5693d1f2dae6b6e52893a100f9349cbfcfb25c5fdcad46364acbff0dbd3573f8fbc026c68eb9fd56335198aa94b866cc3dd7ea0cbd2cbfb5f8fe3444a7a DIST llvm-8.0.0.src.tar.xz 30503732 BLAKE2B d89bdeb0ec7d885e49cfe5ae025da84f00502d409710c0807a3cdd58dbd47c50cf6a635593569483150f7f2ecb0de0310bd6785cb7625219bf9f6224a0d68e1c SHA512 1602343b451b964f5d8c2d6b0654d89384c80d45883498c5f0e2f4196168dd4a1ed2a4dadb752076020243df42ffe46cb31d82ffc145d8e5874163cbb9686a1f -EBUILD llvm-ocaml-5.0.2.ebuild 2984 BLAKE2B 723a1e859c8e35f2ece65cc8dd6fdd4ef13017fa0ea8ded0c2c1e343a996828194097389b6db5fb2fd5f6c62fcfb9f443e72def7c6549037ae51816c3c7d9f64 SHA512 ba6033dab81c3abd7d9fe2e664b229cfa7f2674193287794ac1cf106a31f35db8d31795362787567d6f0703cdd216f36af3997055c594301dc29e93bd7336615 -EBUILD llvm-ocaml-6.0.1.ebuild 3148 BLAKE2B 08a61098a9782694f57d4a56dd450200abdc1fb117ff327e4005c8f81d1b5cb861bba0fdadb19e94e3d4c409b1431a5ce361bc77b0ce590c69b855b1d866e1f5 SHA512 b0cc43ae38254cf01688e4a5b375452c8d17e9a8cae89a43ea1635383516d217850f16e605de3c45c8cef993ec9c95fbcf98f4333e27770000cae6899615e631 -EBUILD llvm-ocaml-7.1.0.ebuild 3145 BLAKE2B 270cccdb5a50fb12485660336195c89de92c3a2f93defb8bfe31dd28ea155ded54a8aebffa14e5b5f31e2121da563a2269dfdec4a726c1f18c39552510c8a8ea SHA512 6f14a6decebc23a4631a4b17ffad1b5e6d342514cf9f7dae72a7780792089b070851608c0a0e4162f441fc395ea3583e0236c23794d9272b30a04e1bb3eee65e -EBUILD llvm-ocaml-8.0.0.ebuild 3157 BLAKE2B 7c85496ecc7e89dc7126299ce38e1964494c3e073a4fd77e71d080af53f76ab5dc5e13c69c0261a9acc9ad7a58a01366ef98c543466c6f477e02339a66acdc3f SHA512 4a1a8b47634d0a73d16b0bf05fb888d230fa45606e96e73efcd6bdb2fc5ace03a138f54bcac7ae90975b578ff2ef0ea3139f8231a0ad9b84ea832fee0d3465c9 -EBUILD llvm-ocaml-8.0.9999.ebuild 3169 BLAKE2B 1f7ad169958abd781bbbcde21ecd06b43ab75492411499507816c6068de95d509a989baafad0692f8a29642dc7a1c1b172ca00d149ee1ac01a5726eb9beb1d28 SHA512 b8fd0bf8099bc2e8bb3415073d1f16c87bc9d1493966c11f84cc71436b000177fe2d78b0c3a9334ec2ebd76c8f6b19c404b44648a61eb82fadd887a0a9d8e6fa -EBUILD llvm-ocaml-9999.ebuild 3395 BLAKE2B df9a89ef69e0d98a797980be5507a28b16a2eea0aebf1a667462c27e62a3bd05267825e37b8dd8da2bfa662dbcf8ada3078c58a75fb41ab78b9eb33f067183e9 SHA512 b8edfccd9fb78b91b1b476ebb9d982243084774765306ed0f984a86e54cdb7dcc283aad8bef3f417b7bed7d46d6b6f3320285f11b48f0da077e35bc1448379a4 +DIST llvm-8.0.1.src.tar.xz 30477608 BLAKE2B 4319c837b36111401e3b0f9659b8d875c89463bcc7816df1aefe1e3ff989860bbaa92504718f8e15416cfd9f3491c13777cd5cb661877b237b342b0e515b93f5 SHA512 82e120be5cabdfd5111aebbea68a663fe229c8861d73802d6ab09a3bf48f60de333e07e61f8fb61beaa14ac2bea24fcd74fa6f761acaf62469f536b79fcb1e16 +EBUILD llvm-ocaml-10.0.0.9999.ebuild 3395 BLAKE2B 830a412e3234bee213c16a675c2db8d433b1059b444bf7efee646b39ff86b8619d684af78746bd5471c239835340174904fb0c7127a38e4e0305735cbcd321dd SHA512 76d4b03a0731289f63c2c18627e3dfa9a265e0df832770a02f8312dc1f7cbf3d36e2af2d8d45dc850f196717436ed41ebd351e487367c6fdd120c3890b495ace +EBUILD llvm-ocaml-5.0.2.ebuild 2957 BLAKE2B 66d6e022870116b4be40bc20706694a479577bd29b3e429d492333e7a7a3590fa1ba02397d1e76e5aba06b7b5813c69520c46e53c775d79c0b311ccc9e4d5edd SHA512 0019b664dff97399015abf4ab56c4bd7152185f9e894bff674adf095ff5ef87ba1c86f81cc8c424a229a9e84769c0a622b97c346e478cf8442defc4a60aee36b +EBUILD llvm-ocaml-6.0.1.ebuild 3121 BLAKE2B dca92122927a7fd4c8e3213f85393e134f194ddf51f436ac2dacef59585d340fd27e6ac77bb3b9306bee3560f998805abe06a695664d6f50920c250dce413147 SHA512 e328f56e4eb855be1528a4e5fafb4ef7ddaf23592369650fdb275b3a59a7fd318c9384cf93d0d4da46403ae9ceac409a1668db76f21a9662783e6666eabc89b8 +EBUILD llvm-ocaml-7.1.0.ebuild 3121 BLAKE2B dca92122927a7fd4c8e3213f85393e134f194ddf51f436ac2dacef59585d340fd27e6ac77bb3b9306bee3560f998805abe06a695664d6f50920c250dce413147 SHA512 e328f56e4eb855be1528a4e5fafb4ef7ddaf23592369650fdb275b3a59a7fd318c9384cf93d0d4da46403ae9ceac409a1668db76f21a9662783e6666eabc89b8 +EBUILD llvm-ocaml-8.0.0.ebuild 3133 BLAKE2B f39bdfe95cddd3d162b607a72b05d5fbeccd71dc573a5d95525619dfe89352cac9d47537f7edb1a74013ebd0397ab57d8da6bf605a4685e1e49a537881c65eb8 SHA512 403d99d7d8aac24b5c0db11a9402af8c99b6b7cf9e2caec0c900a632b904558c64c86364883c460c68cb2d814fa2b13bd983b8c56f906c957a57e0d83b44677f +EBUILD llvm-ocaml-8.0.1.ebuild 3166 BLAKE2B 6326a9a3811a74f7927d63187677f4b53b70b267e1f577773b9cd2cdd7205f164bb864993228b2b4ce1b0bf87a1fce56f11b2dd71f4242c0882dccfef5afa7c9 SHA512 c886ad555a335793ef8980007034c0e8b1606351783df88cab5fbf9fc96cd26a2dc27372a2d2d0fdfdcce6f03c4a7521c3a3125fb5ec4473ec418b5cb7a6b855 +EBUILD llvm-ocaml-9.0.0.9999.ebuild 3157 BLAKE2B 3850e745bcfbee9e966d4a8819dc448ef007681feca807a43990422f1064d55ec9efbf5c08b08d08423de1b3dfc4d7046fcfd119a3df92c809127c385c3f8b21 SHA512 d8d1fc1e7fa35bc45ae701b05f52254e8522893f83f5f0910f8399a7e22dc18379bf9f056f082ffbe2c265fd5fa217a99b783e865253b0cc797482c324e60180 MISC metadata.xml 216 BLAKE2B fe5e49887842aa513fbf1f2e09bed09a884d531fd21bdaeb2d389e8bf590b6c0e7063f0af98f66e2db129308ab0f0804ba327c3c752bbb4c900c59ac109d99aa SHA512 3485598147c953e72e1785693a489a7e7d73d59620b76054db9c0ce95d8bfa0e8ffec29da7f7a9d73a32e5b77eac07ca3306c56a972dc57fd89d477edaebf3d5 diff --git a/dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild b/dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild new file mode 100644 index 000000000000..e354e4765340 --- /dev/null +++ b/dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild @@ -0,0 +1,130 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +: ${CMAKE_MAKEFILE_GENERATOR:=ninja} +# (needed due to CMAKE_BUILD_TYPE != Gentoo) +CMAKE_MIN_VERSION=3.7.0-r1 +PYTHON_COMPAT=( python{2_7,3_{5,6,7}} ) + +inherit cmake-utils git-r3 llvm multiprocessing python-any-r1 + +DESCRIPTION="OCaml bindings for LLVM" +HOMEPAGE="https://llvm.org/" +SRC_URI="" +EGIT_REPO_URI="https://git.llvm.org/git/llvm.git + https://github.com/llvm-mirror/llvm.git" + +# Keep in sync with sys-devel/llvm +ALL_LLVM_EXPERIMENTAL_TARGETS=( AVR Nios2 RISCV ) +ALL_LLVM_TARGETS=( AArch64 AMDGPU ARM BPF Hexagon Lanai Mips MSP430 + NVPTX PowerPC Sparc SystemZ WebAssembly X86 XCore + "${ALL_LLVM_EXPERIMENTAL_TARGETS[@]}" ) +ALL_LLVM_TARGETS=( "${ALL_LLVM_TARGETS[@]/#/llvm_targets_}" ) +LLVM_TARGET_USEDEPS=${ALL_LLVM_TARGETS[@]/%/?} + +LICENSE="UoI-NCSA" +SLOT="0/${PV}" +KEYWORDS="" +IUSE="debug test ${ALL_LLVM_TARGETS[*]}" +RESTRICT="!test? ( test )" + +RDEPEND=" + >=dev-lang/ocaml-4.00.0:0= + dev-ml/ocaml-ctypes:= + ~sys-devel/llvm-${PV}:=[${LLVM_TARGET_USEDEPS// /,},debug?] + !sys-devel/llvm[ocaml(-)]" +# configparser-3.2 breaks the build (3.3 or none at all are fine) +DEPEND="${RDEPEND} + dev-lang/perl + dev-ml/findlib + test? ( dev-ml/ounit ) + !! + + + + tupone@gentoo.org + Tupone Alfredo + + + Compatibility package for OCaml's standard iterator type starting from 4.07. + + diff --git a/dev-ml/seq/seq-0.1.ebuild b/dev-ml/seq/seq-0.1.ebuild new file mode 100644 index 000000000000..3a5b9b4aa827 --- /dev/null +++ b/dev-ml/seq/seq-0.1.ebuild @@ -0,0 +1,32 @@ +# Copyright 2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +DESCRIPTION="Compatibility package for the standard OCaml iterator type" +HOMEPAGE="https://github.com/c-cube/seq" +SRC_URI="https://github.com/c-cube/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="" + +DEPEND="dev-ml/ocamlbuild" +RDEPEND="${DEPEND}" +BDEPEND="" + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_prepare() { + default + sed -i \ + -e "s:@LIBDIR@:/usr/$(get_libdir)/ocaml:" \ + Makefile \ + || die +} + +src_install() { + dodir /usr/$(get_libdir)/ocaml + default +} -- cgit v1.2.3