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

Scripts: do not pin ocplib-json-typed anymore

Browse Source
This commit is contained in:
Vincent Bernardoff 2018-04-27 11:35:00 +02:00 committed by Benjamin Canou
parent 96d9f317c1
commit 3759ff1f90
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/opam-pin.sh
View File

@ -11,12 +11,12 @@ export OPAMYES=yes
## Should be in sync with `opam-unpin.sh`
opam pin add --no-action leveldb git://github.com/chambart/ocaml-leveldb.git#update_4.06
opam pin add --no-action --dev-repo ocplib-json-typed
## Unpin package we used to pin...
opam pin remove --no-action ocp-ocamlres
opam pin remove --no-action ocplib-resto
opam pin remove --no-action sodium
opam pin remove --no-action ocplib-json-typed
### End of temporary HACK

1
scripts/opam-unpin.sh
View File

@ -13,6 +13,5 @@ opam pin remove $packages
## Should be in sync with `opam-pin.sh`
opam pin remove --no-action leveldb
opam pin remove --no-action ocplib-json-typed
### End of temporary HACK