diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 18:50:11 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 18:50:11 +0200 |
| commit | 6b22c8b89ca256430aea4f95ba8c8e84489f4685 (patch) | |
| tree | 83a23dafee0b87ddbf2957d1c7b616194fe41a0a /.gitlab-ci.yml | |
| parent | a510c89c9e96e1e967fcca5f35aa99f8ce3ded4d (diff) | |
| download | compcert-kvx-6b22c8b89ca256430aea4f95ba8c8e84489f4685.tar.gz compcert-kvx-6b22c8b89ca256430aea4f95ba8c8e84489f4685.zip | |
pages: make documentation
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 665d75d1..f6308781 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -259,8 +259,12 @@ build_kvx: - when: manual pages: - stage: build + inherit: + build_kvx: [image before_script] + stage: build # TODO: change to "deploy" when "build" succeeds script: + - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh + - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" documentation - mkdir public - cp -r doc/* public/ - mv public/index-kvx.html public/index.html |