make clightgen

1 files changed, 12 insertions, 0 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 893630b2..8da92cfc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,6 +32,7 @@ build_x86_64:
   script:
     - ./config_x86_64.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen
     - ulimit -s65536 && make -C test/monniaux/csmith
@@ -58,6 +59,7 @@ build_ia32:
   script:
     - ./config_ia32.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen BITS=32 TARGET_CC='gcc -m32'
     - ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='gcc -m32'
@@ -84,6 +86,7 @@ build_aarch64:
   script:
     - ./config_aarch64.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test SIMU='qemu-aarch64 -L /usr/aarch64-linux-gnu' EXECUTE='qemu-aarch64 -L /usr/aarch64-linux-gnu' all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='qemu-aarch64 -L /usr/aarch64-linux-gnu'
     - ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='aarch64-linux-gnu-gcc' EXECUTE='timeout 10s qemu-aarch64 -L /usr/aarch64-linux-gnu' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
@@ -110,6 +113,7 @@ build_arm:
   script:
     - ./config_arm.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test SIMU='qemu-arm -L /usr/arm-linux-gnueabi' EXECUTE='qemu-arm -L /usr/arm-linux-gnueabi' all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabi-gcc' EXECUTE='qemu-arm -L /usr/arm-linux-gnueabi' BITS=32
     - ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='arm-linux-gnueabi-gcc' EXECUTE='timeout 10s qemu-arm -L /usr/arm-linux-gnueabi' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32
@@ -137,6 +141,7 @@ build_armhf:
   script:
     - ./config_armhf.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test SIMU='qemu-arm -L /usr/arm-linux-gnueabihf' EXECUTE='qemu-arm -L /usr/arm-linux-gnueabihf' all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm -L /usr/arm-linux-gnueabihf' BITS=32
     - ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='timeout 10s qemu-arm -L /usr/arm-linux-gnueabihf' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32
@@ -166,6 +171,7 @@ build_ppc:
   script:
     - ./config_ppc.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - qemu-ppc --version
     - make -C test SIMU='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' EXECUTE='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='powerpc-linux-gnu-gcc' EXECUTE='qemu-ppc -L /usr/powerpc-linux-gnu -cpu 7400' BITS=32
@@ -193,6 +199,7 @@ build_ppc64:
   script:
     - ./config_ppc64.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     # - make -C test SIMU='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' EXECUTE='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' all test
     # - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='powerpc64-linux-gnu-gcc' EXECUTE='qemu-ppc64 -L /usr/powerpc64-linux-gnu -cpu 7400' BITS=32
   rules:
@@ -218,6 +225,7 @@ build_rv64:
   script:
     - ./config_rv64.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - make -C test SIMU='qemu-riscv64 -L /usr/riscv64-linux-gnu' EXECUTE='qemu-riscv64 -L /usr/riscv64-linux-gnu' all test
     - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='riscv64-linux-gnu-gcc' EXECUTE='qemu-riscv64 -L /usr/riscv64-linux-gnu'
     # disabled until https://github.com/AbsInt/CompCert/issues/412 is fixed
@@ -245,6 +253,7 @@ build_rv32:
   script:
     - ./config_rv32.sh -no-runtime-lib
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
   rules:
     - if: '$CI_COMMIT_BRANCH == "kvx-work"'
       when: always
@@ -272,6 +281,7 @@ build_kvx:
   script:
     - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
     - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test
     - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='kvx-cos-gcc' CCOMPOPTS="-Wl,--defsym=USER_STACK_SIZE=0x80000" EXECUTE="timeout 15s kvx-cluster -- "
     - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
@@ -304,6 +314,7 @@ pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "buil
   script:
     - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
     - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
     - source /opt/kalray/accesscore/kalray.sh && make documentation
     - mkdir public
     - cp -r doc/* public/
@@ -328,6 +339,7 @@ build_aarch64_coq13:
   script:
     - ./config_aarch64.sh
     - make -j "$NJOBS"
+    - make -j "$NJOBS" clightgen
   rules:
     - if: '$CI_COMMIT_BRANCH == "kvx-work"'
       when: always