diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-29 12:04:45 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-29 12:04:45 +0200 |
| commit | d6204e0c40543eafe202fb34838bab5426d373c5 (patch) | |
| tree | 59f14a6b294cc9e6a50f19013c19b313667c8bce /.gitlab-ci.yml | |
| parent | 7cc2810b4b1ea92a8f8a8739f69a94d5578e7b9d (diff) | |
| download | compcert-kvx-d6204e0c40543eafe202fb34838bab5426d373c5.tar.gz compcert-kvx-d6204e0c40543eafe202fb34838bab5426d373c5.zip | |
fix aarch64 merge?
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b975197a..a7811ae3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -76,6 +76,8 @@ build_aarch64: script: - ./config_aarch64.sh - make -j "$NJOBS" + - export LD_LIBRARY_PATH=/usr/aarch64-linux-gnu/lib + - sudo ln -s /usr/aarch64-linux-gnu/lib/ld-linux-aarch64.so.1 /lib - make -C test CCOMPOPTS='-static' SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: |