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