Revision 561a028e
Added by Lélio Brun about 2 years ago
| .gitlab-ci.yml | ||
|---|---|---|
| 165 | 165 |
# opam install . --deps-only --locked --with-test --with-doc --yes |
| 166 | 166 |
# which should start by installing depexts |
| 167 | 167 |
# (possibly we will need to set some explicit environment variable first). |
| 168 |
- export http_proxy=http://proxy.isae.fr:3128 |
|
| 168 | 169 |
- opam install depext --yes |
| 169 | 170 |
- opam install . --dry-run --deps-only --locked --with-test --with-doc --yes | awk '/-> installed/{print $3}' | xargs opam depext -iy
|
| 170 | 171 |
# the magical command above comes from https://github.com/ocaml/opam/issues/3790 |
Also available in: Unified diff
update CI