From ef514eb70e2dd70a3b650fe74cd1799b4c095687 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Sat, 14 Jan 2017 13:40:19 +0100 Subject: [PATCH] OPAM: ugly temporary hack for `typerex-build` to compile --- scripts/install_build_deps.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index 220ac8db6..646a2f4c6 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -49,6 +49,8 @@ if ! [ -z "$pin" ]; then opam pin --yes add --no-action --dev-repo ocp-ocamlres opam pin --yes add --no-action --dev-repo ocplib-json-typed opam pin --yes add --no-action --dev-repo ocplib-resto + ## Ouch, that's an awfull (temporary) hack... + EDITOR='sed -i "s|\"ocamlfind\"|\"ocamlfind\"\ndepopts: \"camlp4\"|"' opam pin add typerex-build 1.99.17-beta --edit --no-action ## Force opam to take account of the new `tezos-deps.opam` opam pin --yes remove tezos-deps opam pin --yes add --no-action tezos-deps src