diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-01-21 19:25:29 -0800 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-02-20 14:28:54 -0500 |
| commit | 474c31acf8f7bb14fef6d3908ff9cce4ccda69c2 (patch) | |
| tree | eba3e21052806d113acd446cb87139fa1f932ffa | |
| parent | 86002ee23e23110ae08eb896c2f086778ff44c17 (diff) | |
| download | haskell-474c31acf8f7bb14fef6d3908ff9cce4ccda69c2.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: |