diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 17:24:08 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 17:24:08 +0200 |
| commit | 6dfcfbe4e1976088ae98f9a72e213102be63fc54 (patch) | |
| tree | 3276e6c751e5d7ea0f309911bcb672fddc46d7ea /.gitlab-ci.yml | |
| parent | b54046db228a6d7e655c5bd79ad9ed29cc0f6403 (diff) | |
| download | compcert-kvx-6dfcfbe4e1976088ae98f9a72e213102be63fc54.tar.gz compcert-kvx-6dfcfbe4e1976088ae98f9a72e213102be63fc54.zip | |
fix gitlabciml
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 48 |
1 files changed, 47 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e2cbb777..d9a1d88f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -267,5 +267,51 @@ build_kvx: - rm -rf download - eval `opam config env` - opam update - - opam install -y menhir when: always + - opam install -y menhir csmith libcsmith-dev + script: + - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh + - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" + - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test + - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + rules: + - if: '$CI_COMMIT_BRANCH == "kvx-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"' + when: always + - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always - when: manual + +pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?) + stage: build + image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda + before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace + - ./.download_from_Kalray.sh + - rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb download/*board-mgmt* download/*oce-host* download/*pocl* download/*flash-util* download/*barebox* + - sudo dpkg -i download/*.deb + - rm -rf download + - eval `opam config env` + - opam update + - opam install -y menhir + - opam repo add coq-released https://coq.inria.fr/opam/released + - opam install coq-coq2html + script: + - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh + - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" + - source /opt/kalray/accesscore/kalray.sh && make documentation + - mkdir public + - cp -r doc/* public/ + - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html + - rm public/index-kvx.html + artifacts: + paths: + - public + rules: + - if: '$CI_COMMIT_BRANCH == "master"' + when: always +
\ No newline at end of file |