summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-05-30 20:08:02 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-05-30 20:08:29 +0200
commit7839bdecb938aaa758d3d7d757a385e1a4d79594 (patch)
tree7f06f49e2a77feed27c8d77133f0e1ee62d6a1a5 /dev-ml/reason
parentdev-ml/utop: bump to 2.0.1 (diff)
downloadgentoo-7839bdecb938aaa758d3d7d757a385e1a4d79594.tar.gz
gentoo-7839bdecb938aaa758d3d7d757a385e1a4d79594.tar.bz2
gentoo-7839bdecb938aaa758d3d7d757a385e1a4d79594.zip
dev-ml/reason: backport upstream fix for latest utop
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'dev-ml/reason')
-rw-r--r--dev-ml/reason/files/utop.patch17
-rw-r--r--dev-ml/reason/reason-1.13.5.ebuild2
2 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/reason/files/utop.patch b/dev-ml/reason/files/utop.patch
new file mode 100644
index 000000000000..dc3c61ee7179
--- /dev/null
+++ b/dev-ml/reason/files/utop.patch
@@ -0,0 +1,17 @@
+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
index 1ef34e4b334f..bdb8d838039a 100644
--- a/dev-ml/reason/reason-1.13.5.ebuild
+++ b/dev-ml/reason/reason-1.13.5.ebuild
@@ -27,6 +27,8 @@ DEPEND="${DEPEND}
dev-ml/ocamlbuild
dev-ml/opam"
+PATCHES=( "${FILESDIR}/utop.patch" )
+
src_compile() {
emake precompile
emake build