diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/reason/files/utop.patch | 17 | ||||
| -rw-r--r-- | dev-ml/reason/reason-1.13.5.ebuild | 2 |
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 |