summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-10-17 15:31:36 -0400
committerBen Gamari <ben@smart-cactus.org>2018-10-29 15:11:48 -0400
commit78fb31077e58d949ea644c9d51abe53de9a9d2cb (patch)
tree1afc95b69359370589490ed750073867dd47e5dd /.circleci
parentb8e30e40b08db3dd50e7a972a4969c8f8f784eaa (diff)
downloadhaskell-78fb31077e58d949ea644c9d51abe53de9a9d2cb.tar.gz
circleci: Build with in-tree GMP on Darwin
Fixes #15404. (cherry picked from commit 578012be13eb1548050d51c0a23bd1a98423f03e)
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml4
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