summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-06-02 12:49:54 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-06-03 17:13:25 +0200
commit5b193f08bfd6e0827ededc8b506bf1aa6069268c (patch)
treea2fd2774ae7a70fcc29bce3f677de8c792e1cb95
parentdev-ml/reason: bump to 2.0.0 (diff)
downloadgentoo-5b193f08.tar.gz
gentoo-5b193f08.tar.bz2
gentoo-5b193f08.zip
dev-ml/reason: remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.2
-rw-r--r--dev-ml/reason/Manifest1
-rw-r--r--dev-ml/reason/files/utop.patch17
-rw-r--r--dev-ml/reason/reason-1.13.5.ebuild44
3 files changed, 0 insertions, 62 deletions
diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index 0c9b94c82dff..685b56dd2a03 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1,2 +1 @@
-DIST reason-1.13.5.tar.gz 6681110 SHA256 d769e15e507ae401e5f7d8e59a1c327729824dd9914d05d7fe0ee51c84afeb2f SHA512 e47836281fb36094358f746b3460ac9671782fbf51058b220f5fe2be060592db75b688c917e162345c3fdcf8822d9b7fad0483ae274a97ccf640bdd7853510a9 WHIRLPOOL 21e86a487263735af8968577f4b3dc8fb4492c9b831b24e27faf30d421e0e164342bc76661fa674c90a2bb78b911639ea12e5eb7562cb6144c6b0d414844e4fe
DIST reason-2.0.0.tar.gz 6639139 SHA256 cfc2fc6416d00584047fc67eade5c6215cec5ea4c818cd7fe5b4d03d311ea3a8 SHA512 5e8fb81193de90fcf95ae39e66dab6b7638f1b6f37f7f438c3692e67de8f33667eca92e76df4968ad794e4bd02674583203e1058f1e990f3f6e87d8ce1fbbb43 WHIRLPOOL 8eb8395372aac8952bce2c0cfa58ab364cbedc46eb6f4e34ac496e95bb9729134f374cb42f59bd398f6ce9c68025e9c92259fb750381a0b11cf934b05aba1f0d
diff --git a/dev-ml/reason/files/utop.patch b/dev-ml/reason/files/utop.patch
deleted file mode 100644
index dc3c61ee7179..000000000000
--- a/dev-ml/reason/files/utop.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-commit a8cfc8636ac2ab3292156d0038d54af730a59007
-Author: Cristiano Calcagno <cristianoc@fb.com>
-Date: Tue May 30 16:23:57 2017 +0200
-
- Fix utop compilation
-
-diff --git a/_tags b/_tags
-index ac43e8d..788a36e 100644
---- a/_tags
-+++ b/_tags
-@@ -1,5 +1,6 @@
- true: warn(@5@8@10@11@12@14@23-24@26@29@40), bin_annot, safe_string, debug
-
-+<src/reason_utop.ml>: thread
- <editorSupport/**>: -traverse
- <node_modules/**>: -traverse
- <bspacks/**>: -traverse
diff --git a/dev-ml/reason/reason-1.13.5.ebuild b/dev-ml/reason/reason-1.13.5.ebuild
deleted file mode 100644
index bdb8d838039a..000000000000
--- a/dev-ml/reason/reason-1.13.5.ebuild
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="Meta Language Toolchain"
-HOMEPAGE="https://github.com/facebook/reason"
-SRC_URI="https://github.com/facebook/reason/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-DEPEND="
- dev-lang/ocaml:=[ocamlopt?]
- dev-ml/reason-parser:=
- dev-ml/merlin-extend:=
- dev-ml/result:=
- dev-ml/topkg:=
- dev-ml/ocaml-migrate-parsetree:=
- dev-ml/utop:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND}
- dev-ml/findlib
- dev-ml/ocamlbuild
- dev-ml/opam"
-
-PATCHES=( "${FILESDIR}/utop.patch" )
-
-src_compile() {
- emake precompile
- emake build
-}
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- --mandir="${ED}/usr/share/man" \
- ${PN}.install || die
-}