Commit b6d2d837 authored by Dario Bertini's avatar Dario Bertini Committed by Ben Gamari

circleci: Actually build with in-tree GMP on Darwin

Fixes #15404.

(cherry picked from commit 3584bd42)
parent 4519d98d
......@@ -33,7 +33,7 @@ aliases:
- &configure_unix
name: Configure
command: ./configure $CONFIGURE_OPTS
command: ./configure
- &configure_unix_32
name: Configure
......@@ -140,8 +140,6 @@ jobs:
# Only Sierra and onwards supports clock_gettime. See #12858
ac_cv_func_clock_gettime: "no"
# Build with in-tree GMP since this isn't available on OS X by default.
CONFIGURE_OPTS: --with-intree-gmp
<<: *buildenv
- checkout
......@@ -69,6 +69,7 @@ case "$(uname)" in
ln -s $HOME/.cabal/bin/alex /usr/local/bin/alex || true
ln -s $HOME/.cabal/bin/happy /usr/local/bin/happy || true
ln -s $HOME/.cabal/bin/HsColour /usr/local/bin/HsColour || true
echo "libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp" >> mk/
fail "uname=$(uname) not supported"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment