circleci: Build with in-tree GMP on Darwin
authorBen Gamari <ben@smart-cactus.org>
Wed, 17 Oct 2018 19:31:36 +0000 (15:31 -0400)
committerBen Gamari <ben@smart-cactus.org>
Wed, 17 Oct 2018 19:31:36 +0000 (15:31 -0400)
Fixes #15404.

.circleci/config.yml

index 18ae109..4414357 100644 (file)
@@ -33,7 +33,7 @@ aliases:
   - &configure_unix
     run:
       name: Configure
-      command: ./configure
+      command: ./configure $CONFIGURE_OPTS
   - &configure_unix_32
     run:
       name: Configure
@@ -140,6 +140,8 @@ jobs:
       # Only Sierra and onwards supports clock_gettime. See #12858
       ac_cv_func_clock_gettime: "no"
       GHC_COLLECTOR_FLAVOR: x86_64-darwin
+      # Build with in-tree GMP since this isn't available on OS X by default.
+      CONFIGURE_OPTS: --with-intree-gmp
       <<: *buildenv
     steps:
       - checkout