From 18bbfd126b260ff6a96b0557ca05c002ba805e3c Mon Sep 17 00:00:00 2001 From: utdrmac Date: Wed, 19 Sep 2018 17:33:25 +0000 Subject: [PATCH] Update install_build_deps.sh --- scripts/install_build_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index 93553343e..26ebcb3c9 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -28,6 +28,6 @@ if [ "$(ocaml -vnum)" != "$ocaml_version" ]; then opam install --unlock-base ocaml-base-compiler.$ocaml_version fi -opam list --installed depext || opam --yes install depext +opam list --installed opam-depext || opam --yes install opam-depext "$script_dir"/install_build_deps.raw.sh