diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:51:55 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:51:55 +0100 |
commit | d045132186970daa0b7b523e4fdbeb87a71fd3ff (patch) | |
tree | 6281af16d110d0301e278bd4be005ed8ba0748ff /.gitlab-ci.yml | |
parent | 64ce25f46ebe6558d252a878f2289e8ec3901f17 (diff) | |
download | compcert-kvx-d045132186970daa0b7b523e4fdbeb87a71fd3ff.tar.gz compcert-kvx-d045132186970daa0b7b523e4fdbeb87a71fd3ff.zip |
fix opam config env
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d7093a58..4f2b8413 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,8 @@ build_x86_64: stage: build_x86_64 image: "coqorg/coq" before_script: - - opam switch \$COMPILER_EDGE; eval \$(opam env) + - opam switch \$COMPILER_EDGE + - eval `opam config env` - opam install -y menhir script: - ./config_x86_64.sh |