diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 16:43:10 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 16:43:10 +0100 |
commit | d3fe2c1d8a05b5124395cca3de0cf91470424e55 (patch) | |
tree | 395878e3db44db9a429b61751063fe051ecc3ec1 /.gitlab-ci.yml | |
parent | ad78749a098e3719e5af48c693e19871f95bf15d (diff) | |
download | compcert-kvx-d3fe2c1d8a05b5124395cca3de0cf91470424e55.tar.gz compcert-kvx-d3fe2c1d8a05b5124395cca3de0cf91470424e55.zip |
enlarge stack size
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7de12153..2294d090 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,7 +12,7 @@ build_x86_64: - ./config_x86_64.sh - make -j "$NJOBS" - make -C test all test - - make -C test/monniaux/yarpgen + - ulimit -s65536 && make -C test/monniaux/yarpgen rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -35,7 +35,7 @@ build_ia32: - ./config_ia32.sh - make -j "$NJOBS" - make -C test all test - - make -C test/monniaux/yarpgen BITS=32 + - ulimit -s65536 && make -C test/monniaux/yarpgen BITS=32 rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -58,7 +58,7 @@ build_aarch64: - ./config_aarch64.sh - make -j "$NJOBS" - make -C test CCOMPOPTS='-static' SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test - - make -C test/monniaux/yarpgen TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -81,7 +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 TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 + - 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 @@ -146,7 +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 TARGET_CC='riscv64-linux-gnu-gcc' EXECUTE='qemu-riscv64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='riscv64-linux-gnu-gcc' EXECUTE='qemu-riscv64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |