diff options
| author | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
|---|---|---|
| committer | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
| commit | 3f80e38a43b3cfb328490259c15418ab51c774c1 (patch) | |
| tree | 083d6cb556f41b64308d1b4a9a1f904590af8302 /tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch | |
| parent | 02714f7f0c6fc2abc45fa4332c69f0645e327502 (diff) | |
| download | pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.gz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.xz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.zip | |
tools: import spec files of all packages needed to build pandoc
Diffstat (limited to 'tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch')
| -rw-r--r-- | tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch b/tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch new file mode 100644 index 0000000..cdefe0d --- /dev/null +++ b/tools/bootstrap/ghc/ghc-7.4.2-Cabal-disable-ghci-libs.patch @@ -0,0 +1,13 @@ +--- ghc-7.4.2/libraries/Cabal/Cabal/Distribution/Simple/Setup.hs~ 2012-06-07 02:10:40.000000000 +0900 ++++ ghc-7.4.2/libraries/Cabal/Cabal/Distribution/Simple/Setup.hs 2012-08-24 20:33:00.032123967 +0900 +@@ -313,7 +313,7 @@ + configDistPref = Flag defaultDistPref, + configVerbosity = Flag normal, + configUserInstall = Flag False, --TODO: reverse this +- configGHCiLib = Flag True, ++ configGHCiLib = Flag False, + configSplitObjs = Flag False, -- takes longer, so turn off by default + configStripExes = Flag True, + configTests = Flag False, + +Diff finished. Fri Aug 24 20:33:10 2012 |