diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-10-17 15:31:36 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-10-29 15:11:48 -0400 |
| commit | 78fb31077e58d949ea644c9d51abe53de9a9d2cb (patch) | |
| tree | 1afc95b69359370589490ed750073867dd47e5dd /.circleci | |
| parent | b8e30e40b08db3dd50e7a972a4969c8f8f784eaa (diff) | |
| download | haskell-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.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 |