balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Always run setup_repos.sh, never setup_dev_switch.sh, upon make build-deps

Browse Source
This commit is contained in:
Tom Jack 2019-09-27 08:43:57 -05:00
parent 0c6f233507
commit 8e8824c74a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -13,8 +13,9 @@ build-deps:
export PATH="/usr/local/bin$${PATH:+:}$${PATH:-}" export PATH="/usr/local/bin$${PATH:+:}$${PATH:-}"
# Create opam dev switch locally for use with Ligo, add merlin/etc # Create opam dev switch locally for use with Ligo, add merlin/etc
if [ -n "`opam switch show | grep -P ".+/ligo"`" ]; if [ -n "`opam switch show | grep -P ".+/ligo"`" ];
then :; else scripts/setup_dev_switch.sh; then :; else scripts/setup_switch.sh;
fi fi
scripts/setup_repos.sh
eval $$(opam config env) eval $$(opam config env)
# Install OCaml build dependencies for Ligo # Install OCaml build dependencies for Ligo
scripts/install_vendors_deps.sh scripts/install_vendors_deps.sh