From 3f80e38a43b3cfb328490259c15418ab51c774c1 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 11 Feb 2014 22:06:01 +0900 Subject: tools: import spec files of all packages needed to build pandoc --- tools/ghc/ghc-gen_contents_index-type-level.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tools/ghc/ghc-gen_contents_index-type-level.patch (limited to 'tools/ghc/ghc-gen_contents_index-type-level.patch') diff --git a/tools/ghc/ghc-gen_contents_index-type-level.patch b/tools/ghc/ghc-gen_contents_index-type-level.patch new file mode 100644 index 0000000..05a9e42 --- /dev/null +++ b/tools/ghc/ghc-gen_contents_index-type-level.patch @@ -0,0 +1,12 @@ +diff -u ghc-6.12.3/libraries/gen_contents_index\~ ghc-6.12.3/libraries/gen_contents_index +--- ghc-6.12.3/libraries/gen_contents_index~ 2010-09-14 13:03:12.000000000 +1000 ++++ ghc-6.12.3/libraries/gen_contents_index 2010-11-04 16:41:32.000000000 +1000 +@@ -24,7 +24,7 @@ + *) + HADDOCK=/usr/bin/haddock + # We don't want the GHC API to swamp the index +- HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | sort` ++ HADDOCK_FILES=`ls -1 */*.haddock | grep -v '/ghc\.haddock' | grep -v '/type-level\.haddock' | sort` + for HADDOCK_FILE in $HADDOCK_FILES + do + NAME_VERSION=`echo "$HADDOCK_FILE" | sed 's#/.*##'` -- cgit