diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-05-30 20:08:02 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-05-30 20:08:29 +0200 |
| commit | 7839bdecb938aaa758d3d7d757a385e1a4d79594 (patch) | |
| tree | 7f06f49e2a77feed27c8d77133f0e1ee62d6a1a5 /dev-ml/reason | |
| parent | dev-ml/utop: bump to 2.0.1 (diff) | |
| download | gentoo-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.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 |