diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:29:03 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:29:03 +0200 |
| commit | ac16e9fd0fde714464fbef4719e1a341208d5a93 (patch) | |
| tree | 7e7e77b2af1aca8a4f6f1cd562f28c1bc6cb67e3 /.gitlab-ci.yml | |
| parent | ed7c278f9f294cc9c4827020f811e4ce458aa9b2 (diff) | |
| download | compcert-kvx-ac16e9fd0fde714464fbef4719e1a341208d5a93.tar.gz compcert-kvx-ac16e9fd0fde714464fbef4719e1a341208d5a93.zip | |
fix mismatch between hardware FP and software FP on ARM
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fd5dffe5..eaa313f1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -73,14 +73,38 @@ build_arm: image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - - sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user + - sudo apt-get -y install gcc-arm-linux-gnueabi qemu-user - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir script: - ./config_arm.sh - make -j "$NJOBS" - - make -C test DIRS="c compression spass regression" CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test + - make -C test CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test + - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 + rules: + - if: '$CI_COMMIT_BRANCH == "mppa-work"' + when: always + - if: '$CI_COMMIT_BRANCH == "mppa-k1c"' + when: always + - if: '$CI_COMMIT_BRANCH == "master"' + when: always + - when: manual + + +build_armhf: + stage: build + image: "coqorg/coq" + before_script: + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user + - opam switch 4.07.1+flambda + - eval `opam config env` + - opam install -y menhir + script: + - ./config_armhf.sh + - make -j "$NJOBS" + - make -C test CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' |