From cd4ad6f400ec43c9f9959b1c230703b0d68ae2e9 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 13 Sep 2021 15:52:26 +0200 Subject: install csmith --- .gitlab-ci.yml | 84 ++++++---------------------------------------------------- 1 file changed, 8 insertions(+), 76 deletions(-) (limited to '.gitlab-ci.yml') 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 -- cgit