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

do not pin cohttp to dev version

Browse Source
This commit is contained in:
Vincent Bernardoff 2017-05-22 09:42:19 +02:00 committed by Grégoire Henry
parent de4c49823b
commit c7c7ffbd0e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/install_build_deps.sh
View File

@ -50,7 +50,6 @@ if "$pin"; then
opam pin --yes add --no-action --dev-repo ocp-ocamlres 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-json-typed
opam pin --yes add --no-action --dev-repo ocplib-resto opam pin --yes add --no-action --dev-repo ocplib-resto
opam pin --yes add --no-action --dev-repo cohttp
opam pin --yes add --no-action ocp-build 1.99.18-beta ## TMP fix opam pin --yes add --no-action ocp-build 1.99.18-beta ## TMP fix
opam pin add typerex-build --dev --no-action opam pin add typerex-build --dev --no-action
## Force opam to take account of the new `tezos-deps.opam` ## Force opam to take account of the new `tezos-deps.opam`