CI: temporary hack.
This commit is contained in:
parent
e665a4f7e6
commit
de866a0943
@ -50,8 +50,7 @@ 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
|
||||||
## Ouch, that's an awfull (temporary) hack...
|
opam pin add typerex-build --dev --no-action
|
||||||
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`
|
## Force opam to take account of the new `tezos-deps.opam`
|
||||||
opam pin --yes remove tezos-deps
|
opam pin --yes remove tezos-deps
|
||||||
opam pin --yes add --no-action tezos-deps src
|
opam pin --yes add --no-action tezos-deps src
|
||||||
|
Loading…
Reference in New Issue
Block a user