diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-01-21 19:25:29 -0800 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-01-23 14:07:28 -0500 |
| commit | cd45f8c471bb6901ac89babe98fca8e81f430d26 (patch) | |
| tree | 2bee721a0fbd4e07b802cab0e24a0897443a402f | |
| parent | efc95841503a78504c0aa00925fb22c4ec4627af (diff) | |
| download | haskell-cd45f8c471bb6901ac89babe98fca8e81f430d26.tar.gz | |
Update Darwin CI to use new toplevel --with-intree-gmp configure flag
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 158e740a3e..4f426f385f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -117,6 +117,7 @@ validate-x86_64-darwin: # Only Sierra and onwards supports clock_gettime. See #12858 ac_cv_func_clock_gettime: "no" LANG: "en_US.UTF-8" + CONFIGURE_ARGS: --with-intree-gmp before_script: - git clean -xdf && git submodule foreach git clean -xdf - python3 .gitlab/fix-submodules.py @@ -126,7 +127,6 @@ validate-x86_64-darwin: - bash .gitlab/darwin-init.sh - PATH="`pwd`/toolchain/bin:$PATH" - - echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/build.mk after_script: - cp -Rf $HOME/.cabal cabal-cache artifacts: |