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 | |
parent | a510c89c9e96e1e967fcca5f35aa99f8ce3ded4d (diff) | |
download | compcert-kvx-6b22c8b89ca256430aea4f95ba8c8e84489f4685.tar.gz compcert-kvx-6b22c8b89ca256430aea4f95ba8c8e84489f4685.zip |
pages: make documentation
-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 |