diff options
author | CoprDistGit <infra@openeuler.org> | 2023-10-25 20:03:51 +0000 |
---|---|---|
committer | CoprDistGit <infra@openeuler.org> | 2023-10-25 20:03:51 +0000 |
commit | fb97aa11c15fa74f60f1535e91442f1e9a60d153 (patch) | |
tree | c5d164100e4091b6ae525e3a3cfd90ce53bbf3bc /ghc-gen_contents_index-haddock-path.patch | |
parent | 1cc8798baf9426f821b4f887f2914eac62e3ecd8 (diff) |
automatic import of ghc
Diffstat (limited to 'ghc-gen_contents_index-haddock-path.patch')
-rw-r--r-- | ghc-gen_contents_index-haddock-path.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ghc-gen_contents_index-haddock-path.patch b/ghc-gen_contents_index-haddock-path.patch new file mode 100644 index 0000000..699effd --- /dev/null +++ b/ghc-gen_contents_index-haddock-path.patch @@ -0,0 +1,13 @@ +Index: ghc-9.4.4/libraries/gen_contents_index +=================================================================== +--- ghc-9.4.4.orig/libraries/gen_contents_index ++++ ghc-9.4.4/libraries/gen_contents_index +@@ -58,7 +58,7 @@ then + HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG" + done + else +- HADDOCK=../../../../../bin/haddock ++ 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_ARGS="-p prologue.txt" |