diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-22 10:05:18 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-22 10:05:48 +1000 |
| commit | d65a9c47d0eab133a54aaaee656d77c877f42900 (patch) | |
| tree | 57b880163c777d99b39d159b6955234bd79ccecd /haddock-api/0001-hadrian-haddock-output-org.patch | |
| parent | ff9fc1bbb309359eabb4c9e250f4f03852625387 (diff) | |
Adding patch for hadrian haddock invocation for ghc build.ghc-gitlab-ghc-head
Diffstat (limited to 'haddock-api/0001-hadrian-haddock-output-org.patch')
| -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 + |