Skip to content
This repository was archived by the owner on Nov 1, 2018. It is now read-only.

Commit 78fb310

Browse files
committed
circleci: Build with in-tree GMP on Darwin
Fixes #15404. (cherry picked from commit 578012b)
1 parent b8e30e4 commit 78fb310

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

.circleci/config.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ aliases:
3535
- &configure_unix
3636
run:
3737
name: Configure
38-
command: ./configure
38+
command: ./configure $CONFIGURE_OPTS
3939
- &configure_unix_32
4040
run:
4141
name: Configure
@@ -144,6 +144,8 @@ jobs:
144144
# Only Sierra and onwards supports clock_gettime. See #12858
145145
ac_cv_func_clock_gettime: "no"
146146
GHC_COLLECTOR_FLAVOR: x86_64-darwin
147+
# Build with in-tree GMP since this isn't available on OS X by default.
148+
CONFIGURE_OPTS: --with-intree-gmp
147149
<<: *buildenv
148150
steps:
149151
- checkout

0 commit comments

Comments
 (0)