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

4
validate:
Oleg Grenrus's avatar
Oleg Grenrus committed
5
  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"
Ben Gamari's avatar
Ben Gamari committed
6 7
  tags:
    - x86_64-linux
8 9 10
  before_script:
    - git clean -xdf
    - sudo apt install -y time
Oleg Grenrus's avatar
Oleg Grenrus committed
11 12
    - ghc --version
    - cabal --version
13 14
  script:
    - make clean
Oleg Grenrus's avatar
Oleg Grenrus committed
15
    - cabal update
16 17 18
    - make boot mode=fast
    - "make mode=fast NoFibRuns=1 2>&1 | tee log"
    - "nofib-analyse/nofib-analyse log"
19 20 21 22 23 24 25 26 27 28
    - |
      # 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