diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:07:09 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 11:07:09 +0100 |
commit | 5fe8b78a18f3bd8b4ad80c7318115d5d2ebe932f (patch) | |
tree | d6eb27ac9569477a4d74d9d1d32f5923eab57841 | |
parent | e1fb8ff636881054d7223129d61b214cce36acf7 (diff) | |
download | compcert-kvx-5fe8b78a18f3bd8b4ad80c7318115d5d2ebe932f.tar.gz compcert-kvx-5fe8b78a18f3bd8b4ad80c7318115d5d2ebe932f.zip |
run yarpgen test on aarch64
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 16055618..ee50b751 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -55,7 +55,8 @@ build_aarch64: script: - ./config_aarch64.sh - make -j "$NJOBS" - - make -C test CCOMPOPTS=-static SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test + - make -C test CCOMPOPTS='-static' SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test + - make -C test/monniaux/yarpgen -k TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |