stages:
  - build

build_x86_64:
  stage: build
  image: "coqorg/coq"
  before_script:
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_x86_64.sh
    - make -j "$NJOBS"
    - cd test && make all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_ia32:
  stage: build
  image: "coqorg/coq"
  before_script:
    - sudo apt-get -y install gcc-multilib
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_ia32.sh
    - make -j "$NJOBS"
    - cd test && make all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_aarch64:
  stage: build
  image: "coqorg/coq"
  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
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_aarch64.sh
    - make -j "$NJOBS"
    - cd test && make CCOMPOPTS=-static SIMU='qemu-aarch64' EXECUTE='qemu-aarch64' all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_arm:
  stage: build
  image: "coqorg/coq"
  before_script:
    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
    - sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_arm.sh
    - make -j "$NJOBS"
    - cd test && make CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_ppc:
  stage: build
  image: "coqorg/coq"
  before_script:
    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
    - sudo apt-get -y install gcc-multilib-powerpc qemu-user
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_ppc.sh
    - make -j "$NJOBS"
    - cd test && make CCOMPOPTS=-static SIMU='qemu-ppc' EXECUTE='qemu-ppc' all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_rv64:
  stage: build
  image: "coqorg/coq"
  before_script:
    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
    - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_rv64.sh
    - make -j "$NJOBS"
    - cd test && make CCOMPOPTS=-static SIMU='qemu-riscv64' EXECUTE='qemu-riscv64' all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_rv32:
  stage: build
  image: "coqorg/coq"
  before_script:
    - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
    - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_rv32.sh -no-runtime-lib
    - make -j "$NJOBS"
    - cd test && make CCOMPOPTS=-static SIMU='qemu-riscv32' EXECUTE='qemu-riscv32' all test
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual

build_k1c:
  stage: build
  image: "coqorg/coq"
  before_script:
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_k1c.sh -no-runtime-lib
    - make -j "$NJOBS"
  rules:
    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
      when: always
    - if: '$CI_COMMIT_BRANCH == "master"'
      when: always
    - when: manual