diff options
author | Moritz Angermann <moritz.angermann@gmail.com> | 2017-10-01 17:39:28 +0800 |
---|---|---|
committer | Moritz Angermann <moritz.angermann@gmail.com> | 2017-10-03 08:23:00 +0800 |
commit | d0c5d8dec85b2d389ada5167be9c805f83349f8f (patch) | |
tree | a60385e6016c83d5ff9eb88361510e0a73f848be | |
parent | d5e60de307874432f42aa7fea2460e6901c057e1 (diff) | |
download | haskell-d0c5d8dec85b2d389ada5167be9c805f83349f8f.tar.gz |
No libffi docs
Summary:
building libffi docs with our intree-libffi seems
rather pointless.
Reviewers: bgamari, austin
Reviewed By: bgamari
Subscribers: rwbarton, thomie
Differential Revision: https://phabricator.haskell.org/D4054
-rw-r--r-- | libffi/ghc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libffi/ghc.mk b/libffi/ghc.mk index 691eda74ee..6bc8897461 100644 --- a/libffi/ghc.mk +++ b/libffi/ghc.mk @@ -99,6 +99,7 @@ $(libffi_STAMP_CONFIGURE): $(TOUCH_DEP) "$(SHELL)" ./configure \ --prefix=$(TOP)/libffi/build/inst \ --libdir=$(TOP)/libffi/build/inst/lib \ + --disable-docs \ --enable-static=yes \ --enable-shared=$(libffi_EnableShared) \ --host=$(TargetPlatformFull) |