8b6c30857315df4d8a7899aa572dc972d414b41d
[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   script:
7     - make clean
8     - |
9       cabal update
10       cabal install regex-compat html
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