From d65a9c47d0eab133a54aaaee656d77c877f42900 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Fri, 22 Jul 2022 10:05:18 +1000 Subject: Adding patch for hadrian haddock invocation for ghc build. --- haddock-api/0001-hadrian-haddock-output-org.patch | 24 +++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 haddock-api/0001-hadrian-haddock-output-org.patch 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 +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 + -- cgit v1.2.3