diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:23:51 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:23:51 +0100 |
| commit | 520ac43fdfaa6ecef14fc93b68034e03112e12fd (patch) | |
| tree | b85f8d37c56ef6dc91f6ce3ec44415b31a23f81e /.gitlab-ci.yml | |
| parent | 8beb9b73085b2ad49dfa68a74ac3812b78d6e558 (diff) | |
| download | compcert-kvx-520ac43fdfaa6ecef14fc93b68034e03112e12fd.tar.gz compcert-kvx-520ac43fdfaa6ecef14fc93b68034e03112e12fd.zip | |
run yarpgen on other architectures
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ee50b751..bf7361f8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,6 +12,7 @@ build_x86_64: - ./config_x86_64.sh - make -j "$NJOBS" - make -C test all test + - make -C test/monniaux/yarpgen rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -34,6 +35,7 @@ build_ia32: - ./config_ia32.sh - make -j "$NJOBS" - make -C test all test + - make -C test/monniaux/yarpgen rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -79,6 +81,7 @@ build_arm: - ./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/monniaux/yarpgen -k TARGET_CC='arm-linux-gnu-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -143,6 +146,7 @@ build_rv64: - ./config_rv64.sh - make -j "$NJOBS" - make -C test CCOMPOPTS=-static SIMU='qemu-riscv64' EXECUTE='qemu-riscv64' all test + - make -C test/monniaux/yarpgen -k TARGET_CC='riscv64-linux-gnu-gcc' EXECUTE='qemu-riscv64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |