diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-22 10:05:18 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-22 23:49:07 +1000 |
| commit | 5b59211ffb33caecc997c74a919df124621e20cd (patch) | |
| tree | 26a2d6c2990c2498c812725388c493674373fd3c | |
| parent | 2c059736ab1863d247ac347891ae7e9eedd0cd79 (diff) | |
Adding patch for hadrian haddock invocation for ghc build.
| -rw-r--r-- | haddock-api/0001-hadrian-haddock-output-org.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/haddock-api/0001-hadrian-haddock-output-org.patch b/haddock-api/0001-hadrian-haddock-output-org.patch new file mode 100644 index 00000000..3f4ec7e4 --- /dev/null +++ b/haddock-api/0001-hadrian-haddock-output-org.patch @@ -0,0 +1,24 @@ +From 8f7d3291eb270d6500a04547717d9db6f618deec Mon Sep 17 00:00:00 2001 +From: Yuchen Pei <hi@ypei.me> +Date: Fri, 22 Jul 2022 10:02:13 +1000 +Subject: [PATCH] hadrian haddock output org. + +--- + hadrian/src/Settings/Builders/Haddock.hs | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/hadrian/src/Settings/Builders/Haddock.hs b/hadrian/src/Settings/Builders/Haddock.hs +index 5aeba0c8..21a44edc 100644 +--- a/hadrian/src/Settings/Builders/Haddock.hs ++++ b/hadrian/src/Settings/Builders/Haddock.hs +@@ -52,6 +52,7 @@ haddockBuilderArgs = mconcat + , arg $ "--odir=" ++ takeDirectory output + , arg "--no-tmp-comp-dir" + , arg $ "--dump-interface=" ++ output ++ , arg "--org" + , arg "--html" + , arg "--hyperlinked-source" + , arg "--hoogle" +-- +2.30.2 + |