.gitlab-ci.yml 749 Bytes
Newer Older
Oleg Grenrus's avatar
Oleg Grenrus committed
1 2 3
variables:
  DOCKER_REV: 6d19c3adc1f5c28c82aed8c5b1ac40931ac60f3f

4
validate:
Oleg Grenrus's avatar
Oleg Grenrus committed
5
  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"
6 7 8
  before_script:
    - git clean -xdf
    - sudo apt install -y time
Oleg Grenrus's avatar
Oleg Grenrus committed
9 10
    - ghc --version
    - cabal --version
11 12
  script:
    - make clean
Oleg Grenrus's avatar
Oleg Grenrus committed
13
    - cabal update
14 15 16
    - make boot mode=fast
    - "make mode=fast NoFibRuns=1 2>&1 | tee log"
    - "nofib-analyse/nofib-analyse log"
17 18 19 20 21 22 23 24 25 26
    - |
      # The following checks that `make distclean` removes any files reported
      # by `git clean -fxd`
      make distclean
      files=$(git clean -nxd | cut -d" " -f3 | sed "/log/d")
      if ! [ -z $files ]
      then
        echo "The following files weren't cleaned:\n$files"
        exit 1
      fi