[commit: ghc] wip/ghc-8.8-merges: Update Darwin CI to use new toplevel --with-intree-gmp configure flag (474c31a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ghc-8.8-merges
Link       : http://ghc.haskell.org/trac/ghc/changeset/474c31acf8f7bb14fef6d3908ff9cce4ccda69c2/ghc

>---------------------------------------------------------------

commit 474c31acf8f7bb14fef6d3908ff9cce4ccda69c2
Author: Alec Theriault <alec.theriault at gmail.com>
Date:   Mon Jan 21 19:25:29 2019 -0800

    Update Darwin CI to use new toplevel --with-intree-gmp configure flag


>---------------------------------------------------------------

474c31acf8f7bb14fef6d3908ff9cce4ccda69c2
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 158e740..4f426f3 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: