install csmith

1 files changed, 8 insertions, 76 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index af5fba3d..983d3a5f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ build_x86_64:
   before_script:
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_x86_64.sh
     - make -j "$NJOBS"
@@ -54,7 +54,7 @@ build_ia32:
     - sudo apt-get -y install gcc-multilib
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_ia32.sh
     - make -j "$NJOBS"
@@ -80,7 +80,7 @@ build_aarch64:
     - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_aarch64.sh
     - make -j "$NJOBS"
@@ -106,7 +106,7 @@ build_arm:
     - sudo apt-get -y install gcc-arm-linux-gnueabi libc6-dev-armel-cross qemu-user
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_arm.sh
     - make -j "$NJOBS"
@@ -133,7 +133,7 @@ build_armhf:
     - sudo apt-get -y install gcc-arm-linux-gnueabihf libc6-dev-armhf-cross qemu-user
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_armhf.sh
     - make -j "$NJOBS"
@@ -162,7 +162,7 @@ build_ppc:
     - (cd qemu-6.0.0 && ./configure --target-list=ppc-linux-user && make && sudo make install)
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_ppc.sh
     - make -j "$NJOBS"
@@ -214,7 +214,7 @@ build_rv64:
     - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
+    - opam install -y menhir csmith libcsmith-dev
   script:
     - ./config_rv64.sh
     - make -j "$NJOBS"
@@ -267,73 +267,5 @@ build_kvx:
     - rm -rf download
     - eval `opam config env`
     - opam update
-    - opam install -y menhir
-  script:
-    - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
-    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
-    - 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/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
-    - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/csmith TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static'
-  rules:
-    - if: '$CI_COMMIT_BRANCH == "kvx-work"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "master"'
-      when: always
-    - when: manual
-
-pages: # TODO: change to "deploy" when "build" succeeds (or integrate with "build_kvx" above ?)
-  stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
-  before_script:
-    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
-    - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
-    - ./.download_from_Kalray.sh
-    - rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb download/*board-mgmt* download/*oce-host* download/*pocl* download/*flash-util* download/*barebox*
-    - sudo dpkg -i download/*.deb
-    - rm -rf download
-    - eval `opam config env`
-    - opam update
-    - opam install -y menhir
-    - opam repo add coq-released https://coq.inria.fr/opam/released
-    - opam install coq-coq2html
-  script:
-    - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh
-    - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS"
-    - source /opt/kalray/accesscore/kalray.sh && make documentation
-    - mkdir public
-    - cp -r doc/* public/
-    - tools/fix_html_date.sh doc/index-kvx.html " (" ")" > public/index.html
-    - rm public/index-kvx.html
-  artifacts:
-    paths:
-    - public
-  rules:
-    - if: '$CI_COMMIT_BRANCH == "master"'
-      when: always
-
-build_aarch64_coq13:
-  stage: build
-  image: coqorg/coq:8.13.2-ocaml-4.11.1-flambda
-  before_script:
-    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
-    - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user
-    - eval `opam config env`
-    - opam update
-    - opam install -y menhir
-  script:
-    - ./config_aarch64.sh
-    - make -j "$NJOBS"
-  rules:
-    - if: '$CI_COMMIT_BRANCH == "kvx-work"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "kvx-work-ssa"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "kvx-work-velus"'
-      when: always
-    - if: '$CI_COMMIT_BRANCH == "master"'
-      when: always
+    - opam install -y menhir      when: always
     - when: manual