diff options
Diffstat (limited to '.circleci/config.yml')
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 53962c96ee..02c151d91d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -35,7 +35,7 @@ aliases: - &configure_unix run: name: Configure - command: ./configure + command: ./configure $CONFIGURE_OPTS - &configure_unix_32 run: name: Configure @@ -144,6 +144,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 |