diff options
-rw-r--r-- | .gitlab-ci.yml | 1 | ||||
-rw-r--r-- | hadrian/ci.project | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2213d7941d..7b13cadeb4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -185,6 +185,7 @@ hadrian-ghc-in-ghci: - x86_64-linux script: - cabal update + - cd hadrian; cabal new-build --project-file=ci.project; cd .. - git clean -xdf && git submodule foreach git clean -xdf - bash .circleci/prepare-system.sh - if [[ -d ./cabal-cache ]]; then cp -R ./.cabal-cache ~/.cabal-cache; fi diff --git a/hadrian/ci.project b/hadrian/ci.project new file mode 100644 index 0000000000..a3d14d6666 --- /dev/null +++ b/hadrian/ci.project @@ -0,0 +1,5 @@ +packages: ./ + ../libraries/Cabal/Cabal/ + +package hadrian + ghc-options: -Werror |