This commit is contained in:
Georges Dupéron 2019-05-27 12:42:06 +02:00
parent 93574e81c0
commit f5e17bdefc

View File

@ -29,7 +29,7 @@ variables:
local-dune-job: local-dune-job:
<<: *before_script <<: *before_script
script: script:
- vendors/opam-repository-tools/ligo-opam-repository/rewrite-local-opam-repository.sh - vendors/opam-repository-tools/rewrite-local-opam-repository.sh
- opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/" - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/"
- opam install -y --build-test --deps-only ./src/ - opam install -y --build-test --deps-only ./src/
- dune build -p ligo - dune build -p ligo