Compare commits
59 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
5eeb12394c | ||
|
5caca1ad23 | ||
|
7ab1af8634 | ||
|
8c86b056b8 | ||
|
9fdeb09153 | ||
|
263754c55c | ||
|
308eac11f6 | ||
|
bc4cb4c3a0 | ||
|
a07f9ed8a0 | ||
|
915a022b3c | ||
|
db12ef1861 | ||
|
8abb3a79a1 | ||
|
0be02c427b | ||
|
8d4b4ec6e9 | ||
|
a82189be91 | ||
|
3a08236cd2 | ||
|
8bb182a80d | ||
|
6dbb99b200 | ||
|
1b033f2096 | ||
|
8619be5910 | ||
|
7ef199a259 | ||
|
826e5b4b12 | ||
|
6250e0ee75 | ||
|
bbd41d24d2 | ||
|
5ee2271b2b | ||
|
63a3f34ef2 | ||
|
850e71d743 | ||
|
48dd6aa4cd | ||
|
79d5111c4f | ||
|
0d665079cd | ||
|
05e47a1520 | ||
|
81d7c8d8c4 | ||
|
cf89f14c20 | ||
|
40733c85d7 | ||
|
0e2215916b | ||
|
bbb03aa71e | ||
|
93ee9c0485 | ||
|
4ada0e9763 | ||
|
c2ba5d5fdd | ||
|
aba55d0da9 | ||
|
65eec31b69 | ||
|
20edd0d34e | ||
|
381b73e8f4 | ||
|
c07f27990b | ||
|
ccd70e89cb | ||
|
11936da42f | ||
|
eccc41df53 | ||
|
849bd207fc | ||
|
ee61410c16 | ||
|
5219736e17 | ||
|
f77e76b10e | ||
|
e8d82ec703 | ||
|
7f6a73b913 | ||
|
52da5da5ad | ||
|
8a638fc974 | ||
|
d42cad8307 | ||
|
4e4a2d2f6b | ||
|
330a973466 | ||
|
7552d58a21 |
6
.gitignore
vendored
6
.gitignore
vendored
@ -25,3 +25,9 @@ testsuite-6.12.3.tar.bz2
|
||||
/ghc-8.0.2/
|
||||
/ghc-8.2.2-src.tar.xz
|
||||
/ghc-8.2.2-testsuite.tar.xz
|
||||
/ghc-8.4.4-src.tar.xz
|
||||
/ghc-8.6.5-src.tar.xz
|
||||
/ghc-8.8.3-src.tar.xz
|
||||
/ghc-8.8.3-src.tar.xz.sig
|
||||
/ghc-8.8.4-src.tar.xz.sig
|
||||
/ghc-8.8.4-src.tar.xz
|
||||
|
277
6e361d895dda4600a85e01c72ff219474b5c7190.patch
Normal file
277
6e361d895dda4600a85e01c72ff219474b5c7190.patch
Normal file
@ -0,0 +1,277 @@
|
||||
From 6e361d895dda4600a85e01c72ff219474b5c7190 Mon Sep 17 00:00:00 2001
|
||||
From: Kavon Farvardin <kavon@farvard.in>
|
||||
Date: Thu, 4 Oct 2018 13:44:55 -0400
|
||||
Subject: [PATCH] Multiple fixes / improvements for LLVM backend
|
||||
|
||||
- Fix for #13904 -- stop "trashing" callee-saved registers, since it is
|
||||
not actually doing anything useful.
|
||||
|
||||
- Fix for #14251 -- fixes the calling convention for functions passing
|
||||
raw SSE-register values by adding padding as needed to get the values
|
||||
in the right registers. This problem cropped up when some args were
|
||||
unused an dropped from the live list.
|
||||
|
||||
- Fixed a typo in 'readnone' attribute
|
||||
|
||||
- Added 'lower-expect' pass to level 0 LLVM optimization passes to
|
||||
improve block layout in LLVM for stack checks, etc.
|
||||
|
||||
Test Plan: `make test WAYS=optllvm` and `make test WAYS=llvm`
|
||||
|
||||
Reviewers: bgamari, simonmar, angerman
|
||||
|
||||
Reviewed By: angerman
|
||||
|
||||
Subscribers: rwbarton, carter
|
||||
|
||||
GHC Trac Issues: #13904, #14251
|
||||
|
||||
Differential Revision: https://phabricator.haskell.org/D5190
|
||||
|
||||
(cherry picked from commit adcb5fb47c0942671d409b940d8884daa9359ca4)
|
||||
---
|
||||
compiler/llvmGen/Llvm/Types.hs | 2 +-
|
||||
compiler/llvmGen/LlvmCodeGen/Base.hs | 62 ++++++++++++++++++++----
|
||||
compiler/llvmGen/LlvmCodeGen/CodeGen.hs | 59 +++++-----------------
|
||||
compiler/main/DriverPipeline.hs | 2 +-
|
||||
testsuite/tests/codeGen/should_run/all.T | 4 +-
|
||||
5 files changed, 67 insertions(+), 62 deletions(-)
|
||||
|
||||
diff --git a/compiler/llvmGen/Llvm/Types.hs b/compiler/llvmGen/Llvm/Types.hs
|
||||
index 87111499fc0..c1c51afcf0f 100644
|
||||
--- a/compiler/llvmGen/Llvm/Types.hs
|
||||
+++ b/compiler/llvmGen/Llvm/Types.hs
|
||||
@@ -560,7 +560,7 @@ instance Outputable LlvmFuncAttr where
|
||||
ppr OptSize = text "optsize"
|
||||
ppr NoReturn = text "noreturn"
|
||||
ppr NoUnwind = text "nounwind"
|
||||
- ppr ReadNone = text "readnon"
|
||||
+ ppr ReadNone = text "readnone"
|
||||
ppr ReadOnly = text "readonly"
|
||||
ppr Ssp = text "ssp"
|
||||
ppr SspReq = text "ssqreq"
|
||||
diff --git a/compiler/llvmGen/LlvmCodeGen/Base.hs b/compiler/llvmGen/LlvmCodeGen/Base.hs
|
||||
index 6e20da48c1b..ec91bacc4c8 100644
|
||||
--- a/compiler/llvmGen/LlvmCodeGen/Base.hs
|
||||
+++ b/compiler/llvmGen/LlvmCodeGen/Base.hs
|
||||
@@ -26,7 +26,7 @@ module LlvmCodeGen.Base (
|
||||
|
||||
cmmToLlvmType, widthToLlvmFloat, widthToLlvmInt, llvmFunTy,
|
||||
llvmFunSig, llvmFunArgs, llvmStdFunAttrs, llvmFunAlign, llvmInfAlign,
|
||||
- llvmPtrBits, tysToParams, llvmFunSection,
|
||||
+ llvmPtrBits, tysToParams, llvmFunSection, padLiveArgs, isSSE,
|
||||
|
||||
strCLabel_llvm, strDisplayName_llvm, strProcedureName_llvm,
|
||||
getGlobalPtr, generateExternDecls,
|
||||
@@ -58,6 +58,8 @@ import ErrUtils
|
||||
import qualified Stream
|
||||
|
||||
import Control.Monad (ap)
|
||||
+import Data.List (sort)
|
||||
+import Data.Maybe (mapMaybe)
|
||||
|
||||
-- ----------------------------------------------------------------------------
|
||||
-- * Some Data Types
|
||||
@@ -147,16 +149,58 @@ llvmFunSection dflags lbl
|
||||
-- | A Function's arguments
|
||||
llvmFunArgs :: DynFlags -> LiveGlobalRegs -> [LlvmVar]
|
||||
llvmFunArgs dflags live =
|
||||
- map (lmGlobalRegArg dflags) (filter isPassed (activeStgRegs platform))
|
||||
+ map (lmGlobalRegArg dflags) (filter isPassed allRegs)
|
||||
where platform = targetPlatform dflags
|
||||
- isLive r = not (isSSE r) || r `elem` alwaysLive || r `elem` live
|
||||
+ allRegs = activeStgRegs platform
|
||||
+ paddedLive = map (\(_,r) -> r) $ padLiveArgs live
|
||||
+ isLive r = r `elem` alwaysLive || r `elem` paddedLive
|
||||
isPassed r = not (isSSE r) || isLive r
|
||||
- isSSE (FloatReg _) = True
|
||||
- isSSE (DoubleReg _) = True
|
||||
- isSSE (XmmReg _) = True
|
||||
- isSSE (YmmReg _) = True
|
||||
- isSSE (ZmmReg _) = True
|
||||
- isSSE _ = False
|
||||
+
|
||||
+
|
||||
+isSSE :: GlobalReg -> Bool
|
||||
+isSSE (FloatReg _) = True
|
||||
+isSSE (DoubleReg _) = True
|
||||
+isSSE (XmmReg _) = True
|
||||
+isSSE (YmmReg _) = True
|
||||
+isSSE (ZmmReg _) = True
|
||||
+isSSE _ = False
|
||||
+
|
||||
+sseRegNum :: GlobalReg -> Maybe Int
|
||||
+sseRegNum (FloatReg i) = Just i
|
||||
+sseRegNum (DoubleReg i) = Just i
|
||||
+sseRegNum (XmmReg i) = Just i
|
||||
+sseRegNum (YmmReg i) = Just i
|
||||
+sseRegNum (ZmmReg i) = Just i
|
||||
+sseRegNum _ = Nothing
|
||||
+
|
||||
+-- the bool indicates whether the global reg was added as padding.
|
||||
+-- the returned list is not sorted in any particular order,
|
||||
+-- but does indicate the set of live registers needed, with SSE padding.
|
||||
+padLiveArgs :: LiveGlobalRegs -> [(Bool, GlobalReg)]
|
||||
+padLiveArgs live = allRegs
|
||||
+ where
|
||||
+ sseRegNums = sort $ mapMaybe sseRegNum live
|
||||
+ (_, padding) = foldl assignSlots (1, []) $ sseRegNums
|
||||
+ allRegs = padding ++ map (\r -> (False, r)) live
|
||||
+
|
||||
+ assignSlots (i, acc) regNum
|
||||
+ | i == regNum = -- don't need padding here
|
||||
+ (i+1, acc)
|
||||
+ | i < regNum = let -- add padding for slots i .. regNum-1
|
||||
+ numNeeded = regNum-i
|
||||
+ acc' = genPad i numNeeded ++ acc
|
||||
+ in
|
||||
+ (regNum+1, acc')
|
||||
+ | otherwise = error "padLiveArgs -- i > regNum ??"
|
||||
+
|
||||
+ genPad start n =
|
||||
+ take n $ flip map (iterate (+1) start) (\i ->
|
||||
+ (True, FloatReg i))
|
||||
+ -- NOTE: Picking float should be fine for the following reasons:
|
||||
+ -- (1) Float aliases with all the other SSE register types on
|
||||
+ -- the given platform.
|
||||
+ -- (2) The argument is not live anyways.
|
||||
+
|
||||
|
||||
-- | Llvm standard fun attributes
|
||||
llvmStdFunAttrs :: [LlvmFuncAttr]
|
||||
diff --git a/compiler/llvmGen/LlvmCodeGen/CodeGen.hs b/compiler/llvmGen/LlvmCodeGen/CodeGen.hs
|
||||
index e812dd445f1..a7121b7909a 100644
|
||||
--- a/compiler/llvmGen/LlvmCodeGen/CodeGen.hs
|
||||
+++ b/compiler/llvmGen/LlvmCodeGen/CodeGen.hs
|
||||
@@ -14,7 +14,7 @@ import LlvmCodeGen.Base
|
||||
import LlvmCodeGen.Regs
|
||||
|
||||
import BlockId
|
||||
-import CodeGen.Platform ( activeStgRegs, callerSaves )
|
||||
+import CodeGen.Platform ( activeStgRegs )
|
||||
import CLabel
|
||||
import Cmm
|
||||
import PprCmm
|
||||
@@ -211,7 +211,6 @@ genCall t@(PrimTarget (MO_Prefetch_Data localityInt)) [] args
|
||||
fptr <- liftExprData $ getFunPtr funTy t
|
||||
argVars' <- castVarsW Signed $ zip argVars argTy
|
||||
|
||||
- doTrashStmts
|
||||
let argSuffix = [mkIntLit i32 0, mkIntLit i32 localityInt, mkIntLit i32 1]
|
||||
statement $ Expr $ Call StdCall fptr (argVars' ++ argSuffix) []
|
||||
| otherwise = panic $ "prefetch locality level integer must be between 0 and 3, given: " ++ (show localityInt)
|
||||
@@ -294,7 +293,6 @@ genCall t@(PrimTarget op) [] args
|
||||
fptr <- getFunPtrW funTy t
|
||||
argVars' <- castVarsW Signed $ zip argVars argTy
|
||||
|
||||
- doTrashStmts
|
||||
let alignVal = mkIntLit i32 align
|
||||
arguments = argVars' ++ (alignVal:isVolVal)
|
||||
statement $ Expr $ Call StdCall fptr arguments []
|
||||
@@ -446,7 +444,6 @@ genCall target res args = runStmtsDecls $ do
|
||||
| never_returns = statement $ Unreachable
|
||||
| otherwise = return ()
|
||||
|
||||
- doTrashStmts
|
||||
|
||||
-- make the actual call
|
||||
case retTy of
|
||||
@@ -1759,12 +1756,9 @@ genLit _ CmmHighStackMark
|
||||
funPrologue :: LiveGlobalRegs -> [CmmBlock] -> LlvmM StmtData
|
||||
funPrologue live cmmBlocks = do
|
||||
|
||||
- trash <- getTrashRegs
|
||||
let getAssignedRegs :: CmmNode O O -> [CmmReg]
|
||||
getAssignedRegs (CmmAssign reg _) = [reg]
|
||||
- -- Calls will trash all registers. Unfortunately, this needs them to
|
||||
- -- be stack-allocated in the first place.
|
||||
- getAssignedRegs (CmmUnsafeForeignCall _ rs _) = map CmmGlobal trash ++ map CmmLocal rs
|
||||
+ getAssignedRegs (CmmUnsafeForeignCall _ rs _) = map CmmLocal rs
|
||||
getAssignedRegs _ = []
|
||||
getRegsBlock (_, body, _) = concatMap getAssignedRegs $ blockToList body
|
||||
assignedRegs = nub $ concatMap (getRegsBlock . blockSplit) cmmBlocks
|
||||
@@ -1794,14 +1788,9 @@ funPrologue live cmmBlocks = do
|
||||
funEpilogue :: LiveGlobalRegs -> LlvmM ([LlvmVar], LlvmStatements)
|
||||
funEpilogue live = do
|
||||
|
||||
- -- Have information and liveness optimisation is enabled?
|
||||
- let liveRegs = alwaysLive ++ live
|
||||
- isSSE (FloatReg _) = True
|
||||
- isSSE (DoubleReg _) = True
|
||||
- isSSE (XmmReg _) = True
|
||||
- isSSE (YmmReg _) = True
|
||||
- isSSE (ZmmReg _) = True
|
||||
- isSSE _ = False
|
||||
+ -- the bool indicates whether the register is padding.
|
||||
+ let alwaysNeeded = map (\r -> (False, r)) alwaysLive
|
||||
+ livePadded = alwaysNeeded ++ padLiveArgs live
|
||||
|
||||
-- Set to value or "undef" depending on whether the register is
|
||||
-- actually live
|
||||
@@ -1813,39 +1802,17 @@ funEpilogue live = do
|
||||
let ty = (pLower . getVarType $ lmGlobalRegVar dflags r)
|
||||
return (Just $ LMLitVar $ LMUndefLit ty, nilOL)
|
||||
platform <- getDynFlag targetPlatform
|
||||
- loads <- flip mapM (activeStgRegs platform) $ \r -> case () of
|
||||
- _ | r `elem` liveRegs -> loadExpr r
|
||||
- | not (isSSE r) -> loadUndef r
|
||||
+ let allRegs = activeStgRegs platform
|
||||
+ loads <- flip mapM allRegs $ \r -> case () of
|
||||
+ _ | (False, r) `elem` livePadded
|
||||
+ -> loadExpr r -- if r is not padding, load it
|
||||
+ | not (isSSE r) || (True, r) `elem` livePadded
|
||||
+ -> loadUndef r
|
||||
| otherwise -> return (Nothing, nilOL)
|
||||
|
||||
let (vars, stmts) = unzip loads
|
||||
return (catMaybes vars, concatOL stmts)
|
||||
|
||||
-
|
||||
--- | A series of statements to trash all the STG registers.
|
||||
---
|
||||
--- In LLVM we pass the STG registers around everywhere in function calls.
|
||||
--- So this means LLVM considers them live across the entire function, when
|
||||
--- in reality they usually aren't. For Caller save registers across C calls
|
||||
--- the saving and restoring of them is done by the Cmm code generator,
|
||||
--- using Cmm local vars. So to stop LLVM saving them as well (and saving
|
||||
--- all of them since it thinks they're always live, we trash them just
|
||||
--- before the call by assigning the 'undef' value to them. The ones we
|
||||
--- need are restored from the Cmm local var and the ones we don't need
|
||||
--- are fine to be trashed.
|
||||
-getTrashStmts :: LlvmM LlvmStatements
|
||||
-getTrashStmts = do
|
||||
- regs <- getTrashRegs
|
||||
- stmts <- flip mapM regs $ \ r -> do
|
||||
- reg <- getCmmReg (CmmGlobal r)
|
||||
- let ty = (pLower . getVarType) reg
|
||||
- return $ Store (LMLitVar $ LMUndefLit ty) reg
|
||||
- return $ toOL stmts
|
||||
-
|
||||
-getTrashRegs :: LlvmM [GlobalReg]
|
||||
-getTrashRegs = do plat <- getLlvmPlatform
|
||||
- return $ filter (callerSaves plat) (activeStgRegs plat)
|
||||
-
|
||||
-- | Get a function pointer to the CLabel specified.
|
||||
--
|
||||
-- This is for Haskell functions, function type is assumed, so doesn't work
|
||||
@@ -1967,7 +1934,3 @@ getCmmRegW = lift . getCmmReg
|
||||
genLoadW :: Atomic -> CmmExpr -> CmmType -> WriterT LlvmAccum LlvmM LlvmVar
|
||||
genLoadW atomic e ty = liftExprData $ genLoad atomic e ty
|
||||
|
||||
-doTrashStmts :: WriterT LlvmAccum LlvmM ()
|
||||
-doTrashStmts = do
|
||||
- stmts <- lift getTrashStmts
|
||||
- tell $ LlvmAccum stmts mempty
|
||||
diff --git a/compiler/main/DriverPipeline.hs b/compiler/main/DriverPipeline.hs
|
||||
index 86dd913461c..f4d5e7f553c 100644
|
||||
--- a/compiler/main/DriverPipeline.hs
|
||||
+++ b/compiler/main/DriverPipeline.hs
|
||||
@@ -1465,7 +1465,7 @@ runPhase (RealPhase LlvmOpt) input_fn dflags
|
||||
-- we always (unless -optlo specified) run Opt since we rely on it to
|
||||
-- fix up some pretty big deficiencies in the code we generate
|
||||
llvmOpts = case optLevel dflags of
|
||||
- 0 -> "-mem2reg -globalopt"
|
||||
+ 0 -> "-mem2reg -globalopt -lower-expect"
|
||||
1 -> "-O1 -globalopt"
|
||||
_ -> "-O2"
|
||||
|
214
D4159.patch
214
D4159.patch
@ -1,214 +0,0 @@
|
||||
diff --git a/testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout b/testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
|
||||
--- a/testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
|
||||
+++ b/testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
|
||||
@@ -1,6 +1,11 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
Preprocessing library 'p' for bkpcabal01-0.1.0.0..
|
||||
Building library 'p' instantiated with H = <H>
|
||||
for bkpcabal01-0.1.0.0..
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
Preprocessing library 'q' for bkpcabal01-0.1.0.0..
|
||||
Building library 'q' instantiated with H = <H>
|
||||
for bkpcabal01-0.1.0.0..
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
diff --git a/testsuite/tests/cabal/T12485a.stdout b/testsuite/tests/cabal/T12485a.stdout
|
||||
--- a/testsuite/tests/cabal/T12485a.stdout
|
||||
+++ b/testsuite/tests/cabal/T12485a.stdout
|
||||
@@ -1,3 +1,4 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
should SUCCEED
|
||||
should SUCCEED
|
||||
should SUCCEED
|
||||
diff --git a/testsuite/tests/cabal/T5442d.stdout b/testsuite/tests/cabal/T5442d.stdout
|
||||
--- a/testsuite/tests/cabal/T5442d.stdout
|
||||
+++ b/testsuite/tests/cabal/T5442d.stdout
|
||||
@@ -1,6 +1,7 @@
|
||||
Reading package info from "shadow1.pkg" ... done.
|
||||
Reading package info from "shadow4.pkg" ... done.
|
||||
Reading package info from "shadow2.pkg" ... done.
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
global (should be empty):
|
||||
user:
|
||||
shadow-2
|
||||
diff --git a/testsuite/tests/cabal/cabal01/cabal01.stdout b/testsuite/tests/cabal/cabal01/cabal01.stdout
|
||||
--- a/testsuite/tests/cabal/cabal01/cabal01.stdout
|
||||
+++ b/testsuite/tests/cabal/cabal01/cabal01.stdout
|
||||
@@ -1,3 +1,4 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
install1:
|
||||
bin
|
||||
lib
|
||||
diff --git a/testsuite/tests/cabal/cabal06/cabal06.stdout b/testsuite/tests/cabal/cabal06/cabal06.stdout
|
||||
--- a/testsuite/tests/cabal/cabal06/cabal06.stdout
|
||||
+++ b/testsuite/tests/cabal/cabal06/cabal06.stdout
|
||||
@@ -1,3 +1,7 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
Does the first instance of q depend on p-1.0?
|
||||
1
|
||||
Does the second instance of q depend on p-1.0?
|
||||
diff --git a/testsuite/tests/cabal/cabal08/cabal08.stdout b/testsuite/tests/cabal/cabal08/cabal08.stdout
|
||||
--- a/testsuite/tests/cabal/cabal08/cabal08.stdout
|
||||
+++ b/testsuite/tests/cabal/cabal08/cabal08.stdout
|
||||
@@ -1,3 +1,5 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
[1 of 1] Compiling Main ( Main.hs, Main.o )
|
||||
Linking Main ...
|
||||
p2
|
||||
diff --git a/testsuite/tests/cabal/shadow.stdout b/testsuite/tests/cabal/shadow.stdout
|
||||
--- a/testsuite/tests/cabal/shadow.stdout
|
||||
+++ b/testsuite/tests/cabal/shadow.stdout
|
||||
@@ -1,3 +1,4 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
databases 1 and 2:
|
||||
localshadow1.package.conf
|
||||
(shadow-1)
|
||||
diff --git a/testsuite/tests/driver/recomp007/recomp007.stdout b/testsuite/tests/driver/recomp007/recomp007.stdout
|
||||
--- a/testsuite/tests/driver/recomp007/recomp007.stdout
|
||||
+++ b/testsuite/tests/driver/recomp007/recomp007.stdout
|
||||
@@ -1,3 +1,5 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
Preprocessing executable 'test' for b-1.0..
|
||||
Building executable 'test' for b-1.0..
|
||||
[1 of 2] Compiling B ( B.hs, dist/build/test/test-tmp/B.o ) [A changed]
|
||||
diff --git a/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout b/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout
|
||||
--- a/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout
|
||||
+++ b/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout
|
||||
@@ -1,49 +1,53 @@
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
pdb.safePkg01/local.db
|
||||
safePkg01-1.0
|
||||
|
||||
trusted: False
|
||||
|
||||
M_SafePkg
|
||||
-package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: base-4.11.0.0* ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: safe
|
||||
require own pkg trusted: False
|
||||
|
||||
M_SafePkg2
|
||||
-package dependencies: base-4.9.0.0 ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: base-4.11.0.0 ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: trustworthy
|
||||
require own pkg trusted: False
|
||||
|
||||
M_SafePkg3
|
||||
-package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: base-4.11.0.0* ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: safe
|
||||
require own pkg trusted: True
|
||||
|
||||
M_SafePkg4
|
||||
-package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: base-4.11.0.0* ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: safe
|
||||
require own pkg trusted: True
|
||||
|
||||
M_SafePkg5
|
||||
-package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: base-4.11.0.0* ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: safe
|
||||
require own pkg trusted: True
|
||||
|
||||
M_SafePkg6
|
||||
-package dependencies: array-0.5.1.0 base-4.9.0.0* bytestring-0.10.7.0* deepseq-1.4.2.0 ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: array-0.5.2.0 base-4.11.0.0* bytestring-0.10.8.2* deepseq-1.4.3.0 ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: trustworthy
|
||||
require own pkg trusted: False
|
||||
|
||||
M_SafePkg7
|
||||
-package dependencies: array-0.5.1.0 base-4.9.0.0* bytestring-0.10.7.0* deepseq-1.4.2.0 ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: array-0.5.2.0 base-4.11.0.0* bytestring-0.10.8.2* deepseq-1.4.3.0 ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: safe
|
||||
require own pkg trusted: False
|
||||
|
||||
M_SafePkg8
|
||||
-package dependencies: array-0.5.1.0 base-4.9.0.0 bytestring-0.10.7.0* deepseq-1.4.2.0 ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
|
||||
+package dependencies: array-0.5.2.0 base-4.11.0.0 bytestring-0.10.8.2* deepseq-1.4.3.0 ghc-prim-0.5.2.0 integer-gmp-1.0.1.0
|
||||
trusted: trustworthy
|
||||
require own pkg trusted: False
|
||||
|
||||
Testing setting trust
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
trusted: True
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
trusted: False
|
||||
+ignoring (possibly broken) abi-depends field for packages
|
||||
trusted: False
|
||||
diff --git a/utils/ghc-pkg/Main.hs b/utils/ghc-pkg/Main.hs
|
||||
--- a/utils/ghc-pkg/Main.hs
|
||||
+++ b/utils/ghc-pkg/Main.hs
|
||||
@@ -1208,7 +1208,18 @@
|
||||
pkgsCabalFormat = packages db
|
||||
|
||||
pkgsGhcCacheFormat :: [PackageCacheFormat]
|
||||
- pkgsGhcCacheFormat = map convertPackageInfoToCacheFormat pkgsCabalFormat
|
||||
+ pkgsGhcCacheFormat
|
||||
+ = map (recomputeValidAbiDeps pkgsCabalFormat) -- Note [Recompute abi-depends]
|
||||
+ $ map convertPackageInfoToCacheFormat
|
||||
+ pkgsCabalFormat
|
||||
+
|
||||
+ hasAnyAbiDepends :: InstalledPackageInfo -> Bool
|
||||
+ hasAnyAbiDepends x = length (abiDepends x) > 0
|
||||
+
|
||||
+ -- warn when we find any (possibly-)bogus abi-depends fields;
|
||||
+ -- Note [Recompute abi-depends]
|
||||
+ when (any hasAnyAbiDepends pkgsCabalFormat) $
|
||||
+ infoLn "ignoring (possibly broken) abi-depends field for packages"
|
||||
|
||||
when (verbosity > Normal) $
|
||||
infoLn ("writing cache " ++ filename)
|
||||
@@ -1231,6 +1242,45 @@
|
||||
ModuleName
|
||||
OpenModule
|
||||
|
||||
+{- Note [Recompute abi-depends]
|
||||
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
+
|
||||
+Like most fields, `ghc-pkg` relies on who-ever is performing package
|
||||
+registration to fill in fields; this includes the `abi-depends` field present
|
||||
+for the package.
|
||||
+
|
||||
+However, this was likely a mistake, and is not very robust; in certain cases,
|
||||
+versions of Cabal may use bogus abi-depends fields for a package when doing
|
||||
+builds. Why? Because package database information is aggressively cached; it is
|
||||
+possible to work Cabal into a situation where it uses a cached version of
|
||||
+`abi-depends`, rather than the one in the actual database after it has been
|
||||
+recomputed.
|
||||
+
|
||||
+However, there is an easy fix: ghc-pkg /already/ knows the `abi-depends` of a
|
||||
+package, because they are the ABIs of the packages pointed at by the `depends`
|
||||
+field. So it can simply look up the abi from the dependencies in the original
|
||||
+database, and ignore whatever the system registering gave it.
|
||||
+
|
||||
+So, instead, we do two things here:
|
||||
+
|
||||
+ - We throw away the information for a registered package's `abi-depends` field.
|
||||
+
|
||||
+ - We recompute it: we simply look up the unit ID of the package in the original
|
||||
+ database, and use *its* abi-depends.
|
||||
+
|
||||
+See Trac #14381, and Cabal issue #4728.
|
||||
+
|
||||
+-}
|
||||
+
|
||||
+recomputeValidAbiDeps :: [InstalledPackageInfo] -> PackageCacheFormat -> PackageCacheFormat
|
||||
+recomputeValidAbiDeps db pkg = pkg { GhcPkg.abiDepends = catMaybes (newAbiDeps) }
|
||||
+ where
|
||||
+ newAbiDeps = flip map (GhcPkg.abiDepends pkg) $ \(k, _) ->
|
||||
+ case filter (\d -> installedUnitId d == k) db of
|
||||
+ [] -> Nothing
|
||||
+ [x] -> Just (k, unAbiHash (abiHash x))
|
||||
+ _ -> Nothing -- ???
|
||||
+
|
||||
convertPackageInfoToCacheFormat :: InstalledPackageInfo -> PackageCacheFormat
|
||||
convertPackageInfoToCacheFormat pkg =
|
||||
GhcPkg.InstalledPackageInfo {
|
||||
|
10
Disable-unboxed-arrays.patch
Normal file
10
Disable-unboxed-arrays.patch
Normal file
@ -0,0 +1,10 @@
|
||||
--- ghc-8.8.0.20190721/libraries/containers/containers/include/containers.h~ 2019-06-26 20:39:26.000000000 +0000
|
||||
+++ ghc-8.8.0.20190721/libraries/containers/containers/include/containers.h 2019-07-27 08:55:10.747060247 +0000
|
||||
@@ -35,7 +35,6 @@
|
||||
|
||||
#ifdef __GLASGOW_HASKELL__
|
||||
# define USE_ST_MONAD 1
|
||||
-# define USE_UNBOXED_ARRAYS 1
|
||||
#endif
|
||||
|
||||
#endif
|
@ -1,10 +1,8 @@
|
||||
Forwarded to https://ghc.haskell.org/trac/ghc/ticket/10424
|
||||
|
||||
Index: ghc-7.10.1/compiler/iface/MkIface.hs
|
||||
===================================================================
|
||||
--- ghc-7.10.1.orig/compiler/iface/MkIface.hs 2015-05-17 20:34:02.808643844 +0200
|
||||
+++ ghc-7.10.1/compiler/iface/MkIface.hs 2015-05-17 20:34:02.804643799 +0200
|
||||
@@ -611,7 +611,7 @@
|
||||
--- a/compiler/iface/MkIface.hs
|
||||
+++ b/compiler/iface/MkIface.hs
|
||||
@@ -681,7 +681,7 @@ addFingerprints hsc_env mb_old_fingerpri
|
||||
iface_hash <- computeFingerprint putNameLiterally
|
||||
(mod_hash,
|
||||
ann_fn (mkVarOcc "module"), -- See mkIfaceAnnCache
|
||||
@ -13,7 +11,7 @@ Index: ghc-7.10.1/compiler/iface/MkIface.hs
|
||||
sorted_deps,
|
||||
mi_hpc iface0)
|
||||
|
||||
@@ -644,6 +644,9 @@
|
||||
@@ -714,6 +714,9 @@ addFingerprints hsc_env mb_old_fingerpri
|
||||
(non_orph_fis, orph_fis) = mkOrphMap ifFamInstOrph (mi_fam_insts iface0)
|
||||
fix_fn = mi_fix_fn iface0
|
||||
ann_fn = mkIfaceAnnCache (mi_anns iface0)
|
||||
@ -21,5 +19,5 @@ Index: ghc-7.10.1/compiler/iface/MkIface.hs
|
||||
+ usages = [ case u of UsageFile _ fp -> UsageFile "" fp; _ -> u | u <- mi_usages iface0 ]
|
||||
+
|
||||
|
||||
getOrphanHashes :: HscEnv -> [Module] -> IO [Fingerprint]
|
||||
getOrphanHashes hsc_env mods = do
|
||||
-- | Retrieve the orphan hashes 'mi_orphan_hash' for a list of modules
|
||||
-- (in particular, the orphan modules which are transitively imported by the
|
31
fix-build-using-unregisterised-v8.6.patch
Normal file
31
fix-build-using-unregisterised-v8.6.patch
Normal file
@ -0,0 +1,31 @@
|
||||
Description: Allow unregisterised ghc-8.6 to build newer GHC
|
||||
Commit af9b744bbf1 introduced a regression stopping existing unregisterised
|
||||
compilers from being able to compile newer versions of GHC. The problem is
|
||||
that the bootstrap compiler uses the newer `includes/stg/MiscClosures.h` file
|
||||
where some defines have been renamed, resulting in the following error:
|
||||
.
|
||||
error: ‘stg_atomicModifyMutVarzh’ undeclared (first use in this function); did you mean ‘stg_atomicModifyMutVar2zh’?
|
||||
.
|
||||
For more information, see https://gitlab.haskell.org/ghc/ghc/issues/17111.
|
||||
.
|
||||
This patch can be removed, once ghc-8.6 is no longer the bootstrap compiler.
|
||||
Author: Ilias Tsitsimpis <iliastsi@debian.org>
|
||||
Bug: https://gitlab.haskell.org/ghc/ghc/issues/17111
|
||||
|
||||
Index: b/includes/stg/MiscClosures.h
|
||||
===================================================================
|
||||
--- a/includes/stg/MiscClosures.h
|
||||
+++ b/includes/stg/MiscClosures.h
|
||||
@@ -390,8 +390,12 @@ RTS_FUN_DECL(stg_copySmallMutableArrayzh
|
||||
RTS_FUN_DECL(stg_casSmallArrayzh);
|
||||
|
||||
RTS_FUN_DECL(stg_newMutVarzh);
|
||||
+#if __GLASGOW_HASKELL__ < 808
|
||||
+RTS_FUN_DECL(stg_atomicModifyMutVarzh);
|
||||
+#else
|
||||
RTS_FUN_DECL(stg_atomicModifyMutVar2zh);
|
||||
RTS_FUN_DECL(stg_atomicModifyMutVarzuzh);
|
||||
+#endif
|
||||
RTS_FUN_DECL(stg_casMutVarzh);
|
||||
|
||||
RTS_FUN_DECL(stg_isEmptyMVarzh);
|
51
fix-build-using-unregisterized-v8.2.patch
Normal file
51
fix-build-using-unregisterized-v8.2.patch
Normal file
@ -0,0 +1,51 @@
|
||||
Description: Allow unregisterised ghc-8.2 to build newer GHC
|
||||
Commit b68697e579d38ca29c2b84377dc2affa04659a28 introduced a regression
|
||||
stopping existing unregisteristed compilers from being used to compile a newer
|
||||
version of GHC. The problem is that the bootstrap compiler uses the newer Stg.h
|
||||
where EB_, IB_, etc, definitions have changed resulting in the following error:
|
||||
.
|
||||
error: conflicting types for 'ghc_GhcPrelude_zdtrModule4_bytes'
|
||||
note: in definition of macro 'EB_'
|
||||
#define EB_(X) extern const char X[]
|
||||
note: previous definition of 'ghc_GhcPrelude_zdtrModule4_bytes' was here
|
||||
char ghc_GhcPrelude_zdtrModule4_bytes[] = "ghc";
|
||||
.
|
||||
For more information about the problem, see https://phabricator.haskell.org/D4114.
|
||||
.
|
||||
This patch is a rework of https://phabricator.haskell.org/D3741.
|
||||
It modifies Stg.h to include the old definitions, if a compiler older than
|
||||
8.4 is being used.
|
||||
.
|
||||
This patch can be removed, once ghc-8.2 is no longer the bootstrap compiler.
|
||||
Author: Ilias Tsitsimpis <iliastsi@debian.org>
|
||||
Bug: https://ghc.haskell.org/trac/ghc/ticket/15201
|
||||
|
||||
Index: b/includes/Stg.h
|
||||
===================================================================
|
||||
--- a/includes/Stg.h
|
||||
+++ b/includes/Stg.h
|
||||
@@ -232,6 +232,16 @@ typedef StgInt I_;
|
||||
typedef StgWord StgWordArray[];
|
||||
typedef StgFunPtr F_;
|
||||
|
||||
+#if __GLASGOW_HASKELL__ < 804
|
||||
+#define EB_(X) extern char X[]
|
||||
+#define IB_(X) static char X[]
|
||||
+#define EI_(X) extern StgWordArray (X) GNU_ATTRIBUTE(aligned (8))
|
||||
+#define II_(X) static StgWordArray (X) GNU_ATTRIBUTE(aligned (8))
|
||||
+#define IF_(f) static StgFunPtr GNUC3_ATTRIBUTE(used) f(void)
|
||||
+#define FN_(f) StgFunPtr f(void)
|
||||
+#define EF_(f) StgFunPtr f(void) /* External Cmm functions */
|
||||
+#define EFF_(f) void f() /* See Note [External function prototypes] */
|
||||
+#else
|
||||
/* byte arrays (and strings): */
|
||||
#define EB_(X) extern const char X[]
|
||||
#define IB_(X) static const char X[]
|
||||
@@ -250,6 +260,7 @@ typedef StgFunPtr F_;
|
||||
#define EF_(f) StgFunPtr f(void) /* External Cmm functions */
|
||||
/* foreign functions: */
|
||||
#define EFF_(f) void f() /* See Note [External function prototypes] */
|
||||
+#endif /* __GLASGOW_HASKELL__ < 804 */
|
||||
|
||||
/* Note [External function prototypes] See Trac #8965, #11395
|
||||
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
58
fix-build-using-unregisterized-v8.4.patch
Normal file
58
fix-build-using-unregisterized-v8.4.patch
Normal file
@ -0,0 +1,58 @@
|
||||
Description: Allow unregisterised ghc-8.4 to build newer GHC
|
||||
Commit 4075656e8bb introduced a regression stopping existing unregisteristed
|
||||
compilers from being able to compile newer versions of GHC. The problem is
|
||||
that the bootstrap compiler uses the newer `rts/storage/ClosureTypes.h` file
|
||||
where some defines have been renamed, resulting in the following error:
|
||||
.
|
||||
error: ‘stg_MUT_ARR_PTRS_FROZEN0_info’ undeclared (first use in this function); did you mean ‘stg_MUT_ARR_PTRS_FROZEN_DIRTY_info’?
|
||||
.
|
||||
For more information, see https://gitlab.haskell.org/ghc/ghc/issues/15913.
|
||||
.
|
||||
This patch can be removed, once ghc-8.4 is no longer the bootstrap compiler.
|
||||
Author: Ilias Tsitsimpis <iliastsi@debian.org>
|
||||
Bug: https://gitlab.haskell.org/ghc/ghc/issues/15913
|
||||
Bug-Debian: https://bugs.debian.org/932941
|
||||
|
||||
Index: b/includes/rts/storage/ClosureTypes.h
|
||||
===================================================================
|
||||
--- a/includes/rts/storage/ClosureTypes.h
|
||||
+++ b/includes/rts/storage/ClosureTypes.h
|
||||
@@ -82,5 +82,11 @@
|
||||
#define SMALL_MUT_ARR_PTRS_DIRTY 60
|
||||
#define SMALL_MUT_ARR_PTRS_FROZEN_DIRTY 61
|
||||
#define SMALL_MUT_ARR_PTRS_FROZEN_CLEAN 62
|
||||
+#if __GLASGOW_HASKELL__ < 806
|
||||
+#define SMALL_MUT_ARR_PTRS_FROZEN0 SMALL_MUT_ARR_PTRS_FROZEN_DIRTY
|
||||
+#define SMALL_MUT_ARR_PTRS_FROZEN SMALL_MUT_ARR_PTRS_FROZEN_CLEAN
|
||||
+#define MUT_ARR_PTRS_FROZEN0 MUT_ARR_PTRS_FROZEN_DIRTY
|
||||
+#define MUT_ARR_PTRS_FROZEN MUT_ARR_PTRS_FROZEN_CLEAN
|
||||
+#endif
|
||||
#define COMPACT_NFDATA 63
|
||||
#define N_CLOSURE_TYPES 64
|
||||
Index: b/includes/stg/MiscClosures.h
|
||||
===================================================================
|
||||
--- a/includes/stg/MiscClosures.h
|
||||
+++ b/includes/stg/MiscClosures.h
|
||||
@@ -116,12 +116,22 @@ RTS_ENTRY(stg_ARR_WORDS);
|
||||
RTS_ENTRY(stg_MUT_ARR_WORDS);
|
||||
RTS_ENTRY(stg_MUT_ARR_PTRS_CLEAN);
|
||||
RTS_ENTRY(stg_MUT_ARR_PTRS_DIRTY);
|
||||
+#if __GLASGOW_HASKELL__ < 806
|
||||
+RTS_ENTRY(stg_MUT_ARR_PTRS_FROZEN);
|
||||
+RTS_ENTRY(stg_MUT_ARR_PTRS_FROZEN0);
|
||||
+#else
|
||||
RTS_ENTRY(stg_MUT_ARR_PTRS_FROZEN_CLEAN);
|
||||
RTS_ENTRY(stg_MUT_ARR_PTRS_FROZEN_DIRTY);
|
||||
+#endif
|
||||
RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_CLEAN);
|
||||
RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_DIRTY);
|
||||
+#if __GLASGOW_HASKELL__ < 806
|
||||
+RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_FROZEN);
|
||||
+RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_FROZEN0);
|
||||
+#else
|
||||
RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_FROZEN_CLEAN);
|
||||
RTS_ENTRY(stg_SMALL_MUT_ARR_PTRS_FROZEN_DIRTY);
|
||||
+#endif
|
||||
RTS_ENTRY(stg_MUT_VAR_CLEAN);
|
||||
RTS_ENTRY(stg_MUT_VAR_DIRTY);
|
||||
RTS_ENTRY(stg_END_TSO_QUEUE);
|
@ -1,78 +0,0 @@
|
||||
On ARM, we want to make sure that GHC uses the gold linker.
|
||||
|
||||
In order to achieve that, we need to get `-fuse-ld=gold` into
|
||||
SettingsCCompilerLinkFlags in the settings.
|
||||
|
||||
This field is filled with only CONF_GCC_LINKER_OPTS_STAGE2. So we want that
|
||||
flag to show up there.
|
||||
|
||||
But this variable is used in a few other cases (LDFLAGS, options to hsc2hs)
|
||||
where -fuse-ld=gold caused problems.
|
||||
(These problems were not investigated. Maybe _they_ could be solved?)
|
||||
|
||||
So as a work-around we remove any other use of CONF_GCC_LINKER_OPTS_STAGE2.
|
||||
|
||||
|
||||
Index: ghc-7.8.3.20141119/libffi/ghc.mk
|
||||
===================================================================
|
||||
--- ghc-7.8.3.20141119.orig/libffi/ghc.mk 2014-04-07 20:26:08.000000000 +0200
|
||||
+++ ghc-7.8.3.20141119/libffi/ghc.mk 2014-12-08 18:57:03.392339809 +0100
|
||||
@@ -88,7 +88,7 @@
|
||||
NM=$(NM) \
|
||||
RANLIB=$(REAL_RANLIB_CMD) \
|
||||
CFLAGS="$(SRC_CC_OPTS) $(CONF_CC_OPTS_STAGE1) -w" \
|
||||
- LDFLAGS="$(SRC_LD_OPTS) $(CONF_GCC_LINKER_OPTS_STAGE1) -w" \
|
||||
+ LDFLAGS="$(SRC_LD_OPTS) -w" \
|
||||
"$(SHELL)" ./configure \
|
||||
--prefix=$(TOP)/libffi/build/inst \
|
||||
--libdir=$(TOP)/libffi/build/inst/lib \
|
||||
Index: ghc-7.8.3.20141119/mk/config.mk.in
|
||||
===================================================================
|
||||
--- ghc-7.8.3.20141119.orig/mk/config.mk.in 2014-12-08 18:49:28.215171926 +0100
|
||||
+++ ghc-7.8.3.20141119/mk/config.mk.in 2014-12-08 18:57:20.637055726 +0100
|
||||
@@ -570,7 +570,6 @@
|
||||
# $1 = stage
|
||||
SRC_HSC2HS_OPTS_STAGE$1 += $$(addprefix --cflag=,$$(filter-out -O,$$(SRC_CC_OPTS) $$(CONF_CC_OPTS_STAGE$1)))
|
||||
SRC_HSC2HS_OPTS_STAGE$1 += $$(addprefix --cflag=,$$(CONF_CPP_OPTS_STAGE$1))
|
||||
-SRC_HSC2HS_OPTS_STAGE$1 += $$(addprefix --lflag=,$$(CONF_GCC_LINKER_OPTS_STAGE$1))
|
||||
endef
|
||||
$(eval $(call set_stage_HSC2HS_OPTS,0))
|
||||
$(eval $(call set_stage_HSC2HS_OPTS,1))
|
||||
Index: ghc-7.8.3.20141119/rules/build-package-data.mk
|
||||
===================================================================
|
||||
--- ghc-7.8.3.20141119.orig/rules/build-package-data.mk 2014-04-14 14:38:12.000000000 +0200
|
||||
+++ ghc-7.8.3.20141119/rules/build-package-data.mk 2014-12-08 18:57:49.366250332 +0100
|
||||
@@ -50,7 +50,7 @@
|
||||
# for a feature it may not generate warning-free C code, and thus may
|
||||
# think that the feature doesn't exist if -Werror is on.
|
||||
$1_$2_CONFIGURE_CFLAGS = $$(filter-out -Werror,$$(SRC_CC_OPTS)) $$(CONF_CC_OPTS_STAGE$3) $$($1_CC_OPTS) $$($1_$2_CC_OPTS) $$(SRC_CC_WARNING_OPTS)
|
||||
-$1_$2_CONFIGURE_LDFLAGS = $$(SRC_LD_OPTS) $$(CONF_GCC_LINKER_OPTS_STAGE$3) $$($1_LD_OPTS) $$($1_$2_LD_OPTS)
|
||||
+$1_$2_CONFIGURE_LDFLAGS = $$(SRC_LD_OPTS) $$($1_LD_OPTS) $$($1_$2_LD_OPTS)
|
||||
$1_$2_CONFIGURE_CPPFLAGS = $$(SRC_CPP_OPTS) $$(CONF_CPP_OPTS_STAGE$3) $$($1_CPP_OPTS) $$($1_$2_CPP_OPTS)
|
||||
|
||||
$1_$2_CONFIGURE_OPTS += --configure-option=CFLAGS="$$($1_$2_CONFIGURE_CFLAGS)"
|
||||
Index: ghc-7.8.3.20141119/rules/distdir-opts.mk
|
||||
===================================================================
|
||||
--- ghc-7.8.3.20141119.orig/rules/distdir-opts.mk 2014-04-07 20:26:08.000000000 +0200
|
||||
+++ ghc-7.8.3.20141119/rules/distdir-opts.mk 2014-12-08 18:58:18.435461083 +0100
|
||||
@@ -64,7 +64,6 @@
|
||||
endif
|
||||
|
||||
$1_$2_DIST_LD_OPTS = \
|
||||
- $$(CONF_GCC_LINKER_OPTS_STAGE$3) \
|
||||
$$(SRC_LD_OPTS) \
|
||||
$$($1_LD_OPTS) \
|
||||
$$($1_$2_LD_OPTS) \
|
||||
Index: ghc-7.8.3.20141119/utils/hsc2hs/ghc.mk
|
||||
===================================================================
|
||||
--- ghc-7.8.3.20141119.orig/utils/hsc2hs/ghc.mk 2014-04-07 20:26:15.000000000 +0200
|
||||
+++ ghc-7.8.3.20141119/utils/hsc2hs/ghc.mk 2014-12-08 18:57:07.848524715 +0100
|
||||
@@ -27,7 +27,7 @@
|
||||
# system uses it for all stages and passes the right options for each stage
|
||||
# on the command line
|
||||
define utils/hsc2hs_dist-install_SHELL_WRAPPER_EXTRA
|
||||
-echo 'HSC2HS_EXTRA="$(addprefix --cflag=,$(CONF_CC_OPTS_STAGE1)) $(addprefix --lflag=,$(CONF_GCC_LINKER_OPTS_STAGE1))"' >> "$(WRAPPER)"
|
||||
+echo 'HSC2HS_EXTRA="$(addprefix --cflag=,$(CONF_CC_OPTS_STAGE1))"' >> "$(WRAPPER)"
|
||||
endef
|
||||
|
||||
ifneq "$(BINDIST)" "YES"
|
35
ghc-8.6.3-sphinx-1.8.patch
Normal file
35
ghc-8.6.3-sphinx-1.8.patch
Normal file
@ -0,0 +1,35 @@
|
||||
--- ghc-8.6.3/docs/users_guide/flags.py~ 2018-09-21 06:18:23.000000000 +0800
|
||||
+++ ghc-8.6.3/docs/users_guide/flags.py 2019-03-05 10:20:38.639782096 +0800
|
||||
@@ -49,6 +49,8 @@
|
||||
import sphinx
|
||||
from sphinx import addnodes
|
||||
from sphinx.domains.std import GenericObject
|
||||
+from sphinx.domains import ObjType
|
||||
+from sphinx.roles import XRefRole
|
||||
from sphinx.errors import SphinxError
|
||||
from distutils.version import LooseVersion
|
||||
from utils import build_table_from_list
|
||||
@@ -603,14 +605,21 @@
|
||||
sphinx_version = LooseVersion(sphinx.__version__)
|
||||
override_arg = {'override': True} if sphinx_version >= LooseVersion('1.8') else {}
|
||||
|
||||
+ # Yuck: We can't use app.add_object_type since we need to provide the
|
||||
+ # Directive instance ourselves.
|
||||
+ std_object_types = app.registry.domain_object_types.setdefault('std', {})
|
||||
+
|
||||
# Add ghc-flag directive, and override the class with our own
|
||||
- app.add_object_type('ghc-flag', 'ghc-flag')
|
||||
app.add_directive_to_domain('std', 'ghc-flag', Flag, **override_arg)
|
||||
+ app.add_role_to_domain('std', 'ghc-flag', XRefRole())
|
||||
+ std_object_types['ghc-flag'] = ObjType('ghc-flag', 'ghc-flag')
|
||||
|
||||
# Add extension directive, and override the class with our own
|
||||
- app.add_object_type('extension', 'extension')
|
||||
app.add_directive_to_domain('std', 'extension', LanguageExtension,
|
||||
**override_arg)
|
||||
+ app.add_role_to_domain('std', 'extension', XRefRole())
|
||||
+ std_object_types['extension'] = ObjType('ghc-flag', 'ghc-flag')
|
||||
+
|
||||
# NB: language-extension would be misinterpreted by sphinx, and produce
|
||||
# lang="extensions" XML attributes
|
||||
|
@ -1,20 +1,12 @@
|
||||
--- ghc-8.2.2/libraries/Cabal/Cabal/Distribution/Simple/Install.hs~ 2017-05-05 16:51:43.000000000 +0200
|
||||
+++ ghc-8.2.2/libraries/Cabal/Cabal/Distribution/Simple/Install.hs 2018-01-23 23:05:47.047081056 +0100
|
||||
@@ -36,7 +36,7 @@
|
||||
import Distribution.Simple.Utils
|
||||
( createDirectoryIfMissingVerbose
|
||||
, installDirectoryContents, installOrdinaryFile, isInSearchPath
|
||||
- , die', info, noticeNoWrap, warn, matchDirFileGlob )
|
||||
+ , die', info, noticeNoWrap, warn, matchDirFileGlob, debug )
|
||||
import Distribution.Simple.Compiler
|
||||
( CompilerFlavor(..), compilerFlavor )
|
||||
import Distribution.Simple.Setup
|
||||
@@ -215,7 +215,7 @@
|
||||
--- ghc-8.2.2/libraries/Cabal/Cabal/Distribution/Simple/Install.hs~ 2017-05-05 23:51:43.000000000 +0900
|
||||
+++ ghc-8.2.2/libraries/Cabal/Cabal/Distribution/Simple/Install.hs 2018-02-27 12:22:13.159432104 +0900
|
||||
@@ -215,8 +215,7 @@
|
||||
++ " in " ++ binPref)
|
||||
inPath <- isInSearchPath binPref
|
||||
when (not inPath) $
|
||||
- warn verbosity ("The directory " ++ binPref
|
||||
+ debug verbosity ("The directory " ++ binPref
|
||||
++ " is not in the system search path.")
|
||||
- ++ " is not in the system search path.")
|
||||
+ warn verbosity ("Executable installed in " ++ binPref)
|
||||
case compilerFlavor (compiler lbi) of
|
||||
GHC -> GHC.installExe verbosity lbi binPref buildPref progFix pkg_descr exe
|
||||
GHCJS -> GHCJS.installExe verbosity lbi binPref buildPref progFix pkg_descr exe
|
||||
|
@ -1,43 +0,0 @@
|
||||
This is an attempt to make GHC build reproducible. The name of .c files may end
|
||||
up in the resulting binary (in the debug section), but not the directory.
|
||||
|
||||
Instead of using the process id, create a hash from the command line arguments,
|
||||
and assume that is going to be unique.
|
||||
|
||||
Index: ghc-8.0.2/compiler/main/SysTools.hs
|
||||
===================================================================
|
||||
--- ghc-8.0.2.orig/compiler/main/SysTools.hs
|
||||
+++ ghc-8.0.2/compiler/main/SysTools.hs
|
||||
@@ -65,6 +65,7 @@
|
||||
import Util
|
||||
import DynFlags
|
||||
import Exception
|
||||
+import Fingerprint
|
||||
|
||||
import LlvmCodeGen.Base (llvmVersionStr, supportedLlvmVersion)
|
||||
|
||||
@@ -1145,8 +1146,8 @@
|
||||
mapping <- readIORef dir_ref
|
||||
case Map.lookup tmp_dir mapping of
|
||||
Nothing -> do
|
||||
- pid <- getProcessID
|
||||
- let prefix = tmp_dir </> "ghc" ++ show pid ++ "_"
|
||||
+ pid <- getStableProcessID
|
||||
+ let prefix = tmp_dir </> "ghc" ++ pid ++ "_"
|
||||
mask_ $ mkTempDir prefix
|
||||
Just dir -> return dir
|
||||
where
|
||||
@@ -1562,6 +1563,13 @@
|
||||
getProcessID = System.Posix.Internals.c_getpid >>= return . fromIntegral
|
||||
#endif
|
||||
|
||||
+-- Debian-specific hack to get reproducible output, by not using the "random"
|
||||
+-- pid, but rather something determinisic
|
||||
+getStableProcessID :: IO String
|
||||
+getStableProcessID = do
|
||||
+ args <- getArgs
|
||||
+ return $ take 4 $ show $ fingerprintString $ unwords args
|
||||
+
|
||||
-- Divvy up text stream into lines, taking platform dependent
|
||||
-- line termination into account.
|
||||
linesPlatform :: String -> [String]
|
@ -1,38 +0,0 @@
|
||||
#!/bin/sh
|
||||
|
||||
LOCKFILE=/var/lock/ghc-doc-index.lock
|
||||
|
||||
# the lockfile is not meant to be perfect, it's just in case
|
||||
# two cron scripts get run close to each other to keep
|
||||
# them from stepping on each other's toes.
|
||||
if [ -f $LOCKFILE ]; then
|
||||
echo "Locked with $LOCKFILE"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
if [ "$(id -u)" != "0" ]; then
|
||||
echo Need to be root!
|
||||
exit 1
|
||||
fi
|
||||
|
||||
trap "{ rm -f $LOCKFILE ; exit 255; }" EXIT
|
||||
touch $LOCKFILE
|
||||
|
||||
PKGDIRCACHE=/var/lib/ghc/pkg-dir.cache
|
||||
LISTING="env LANG=C ls -dl"
|
||||
|
||||
# only re-index ghc docs when there are changes
|
||||
cd /usr/share/doc/ghc/html/libraries
|
||||
if [ -r "$PKGDIRCACHE" ]; then
|
||||
$LISTING */ > $PKGDIRCACHE.new
|
||||
DIR_DIFF=$(diff $PKGDIRCACHE $PKGDIRCACHE.new)
|
||||
else
|
||||
$LISTING */ > $PKGDIRCACHE
|
||||
fi
|
||||
if [ -x "gen_contents_index" -a ! -r "$PKGDIRCACHE.new" -o -n "$DIR_DIFF" ]; then
|
||||
./gen_contents_index
|
||||
fi
|
||||
|
||||
if [ -f $PKGDIRCACHE.new ]; then
|
||||
mv -f $PKGDIRCACHE.new $PKGDIRCACHE
|
||||
fi
|
@ -1,9 +0,0 @@
|
||||
#! /bin/bash
|
||||
# updates the library documentation index after updates
|
||||
|
||||
# This can be disabled by uninstalling ghc-doc-index
|
||||
# or adding ghc-doc-index to "./jobs-deny".
|
||||
|
||||
/usr/bin/ghc-doc-index
|
||||
|
||||
exit 0
|
11
ghc-gen_contents_index-nodocs.patch
Normal file
11
ghc-gen_contents_index-nodocs.patch
Normal file
@ -0,0 +1,11 @@
|
||||
--- ghc-8.6.5/libraries/gen_contents_index~ 2020-02-24 15:02:26.318866694 +0800
|
||||
+++ ghc-8.6.5/libraries/gen_contents_index 2020-04-09 18:18:40.290722327 +0800
|
||||
@@ -47,6 +47,8 @@
|
||||
HADDOCK_ARGS="$HADDOCK_ARGS $HADDOCK_ARG"
|
||||
done
|
||||
else
|
||||
+ if ! ls */*.haddock &>/dev/null; then exit 0; fi
|
||||
+
|
||||
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`
|
228
ghc-pkg.man
Normal file
228
ghc-pkg.man
Normal file
@ -0,0 +1,228 @@
|
||||
.TH ghc-pkg 1 "2010-01-27"
|
||||
.SH NAME
|
||||
ghc-pkg \- GHC Haskell Cabal package manager
|
||||
.SH SYNOPSIS
|
||||
.B ghc-pkg
|
||||
.I action
|
||||
.RI [ OPTION ]...
|
||||
.SH DESCRIPTION
|
||||
A package is a library of Haskell modules known to the compiler. The
|
||||
.B ghc-pkg
|
||||
tool allows adding or removing them from a package database. By
|
||||
default, the system-wide package database is modified, but
|
||||
alternatively the user's local package database or another specified
|
||||
file can be used.
|
||||
.PP
|
||||
To make a package available for
|
||||
.BR ghc ,
|
||||
.B ghc-pkg
|
||||
can be used to register it. Unregistering it removes it from the
|
||||
database. Also, packages can be hidden, to make
|
||||
.B ghc
|
||||
ignore the package by default, without uninstalling it. Exposing a
|
||||
package makes a hidden package available. Additionally,
|
||||
.B ghc-pkg
|
||||
has various commands to query the package database.
|
||||
.PP
|
||||
Where a package name is required, the package can be named in full
|
||||
including the version number (e.g.
|
||||
.BR network-1.0 ),
|
||||
or without the version number. Naming a package without the version
|
||||
number matches all versions of the package; the specified action will
|
||||
be applied to all the matching packages. A package specifier that
|
||||
matches all version of the package can also be written
|
||||
.BR pkg-* ,
|
||||
to make it clearer that multiple packages are being matched.
|
||||
.SH ACTIONS
|
||||
.TP
|
||||
\fBregister\fP \fIfilename\fP|\fB-\fP
|
||||
Register the package using the specified installed package
|
||||
description.
|
||||
.TP
|
||||
\fBupdate\fP \fIfilename\fP|\fB-\fP
|
||||
Register the package, overwriting any other package with the same
|
||||
name.
|
||||
.TP
|
||||
\fBunregister\fP \fIpkg-id\fP
|
||||
Unregister the specified package.
|
||||
.TP
|
||||
\fBexpose\fP \fIpkg-id\fP
|
||||
Expose the specified package.
|
||||
.TP
|
||||
\fBhide\fP \fIpkg-id\fP
|
||||
Hide the specified package
|
||||
.TP
|
||||
\fBlist\fP \fR[\fIpkg\fR]...\fP
|
||||
List registered packages in the global database, and also the user
|
||||
database if
|
||||
.B --user
|
||||
is given. If a package name is given all the registered versions will
|
||||
be listed in ascending order. Accepts the
|
||||
.B --simple-output
|
||||
flag.
|
||||
.TP
|
||||
.B dot
|
||||
Generate a graph of the package dependencies in a form suitable for
|
||||
input for the graphviz tools. For example, to generate a PDF of the
|
||||
dependency graph:
|
||||
.br
|
||||
\fB dot \| tred \| dot -Tpdf >pkgs.pdf\fP
|
||||
.TP
|
||||
\fBfind-module\fP \fImodule\fP
|
||||
List registered packages exposing module
|
||||
.I module
|
||||
in the global database, and also the user database if
|
||||
.B --user
|
||||
is given. All the registered versions will be listed in ascending
|
||||
order. Accepts the
|
||||
.B --simple-output
|
||||
flag.
|
||||
.TP
|
||||
\fBlatest\fP \fIpkg-id\fP
|
||||
Prints the highest registered version of a package.
|
||||
.TP
|
||||
.B check
|
||||
Check the consistency of package dependencies and list broken
|
||||
packages. Accepts the
|
||||
.B --simple-output
|
||||
flag.
|
||||
.TP
|
||||
\fBdescribe\fP \fIpkg\fP
|
||||
Give the registered description for the
|
||||
specified package. The description is returned in precisely the syntax
|
||||
required by ghc-pkg register.
|
||||
.TP
|
||||
\fBfield\fP \fIpkg field\fP
|
||||
Extract the specified field of the package description for the
|
||||
specified package. Accepts comma-separated multiple fields.
|
||||
.TP
|
||||
.B dump
|
||||
Dump the registered description for every package. This is like
|
||||
.BR ghc-pkg\ describe\ '*' ,
|
||||
expect that it is intended to be used by tools that parse the results,
|
||||
rather than humans.
|
||||
.TP
|
||||
.B recache
|
||||
Regenerate the package database cache. This command should only be
|
||||
necessary if you added a package to the database by dropping a file
|
||||
into the database directory manyally. By default, the global DB is
|
||||
recached; to recache a different DB use
|
||||
.B --user
|
||||
or
|
||||
.B --package-conf
|
||||
as appropriate.
|
||||
.SH OPTIONS
|
||||
When asked to modify a database
|
||||
.RB ( register ,\ unregister ,\ update ,\ hide ,\ expose ,\ and\ also\ check ),
|
||||
.B ghc-pkg
|
||||
modifies the global database by
|
||||
default. Specifying
|
||||
.B --user
|
||||
causes it to act on the user database,
|
||||
or
|
||||
.B --package-conf
|
||||
can be used to act on another database
|
||||
entirely. When multiple of these options are given, the rightmost
|
||||
one is used as the database to act upon.
|
||||
.PP
|
||||
Commands that query the package database
|
||||
.RB ( list ,\ latest ,\ describe ,\ field )
|
||||
operate on the list of databases specified by the flags
|
||||
.BR --user ,\ --global ,
|
||||
and
|
||||
.BR --package-conf .
|
||||
If none of these flags are
|
||||
given, the default is
|
||||
.BR --global\ --user .
|
||||
.TP
|
||||
.B --user
|
||||
Use the current user's package database.
|
||||
.TP
|
||||
.B --global
|
||||
Use the global package database.
|
||||
.TP
|
||||
\fB-f\fP \fIFILE\fP, \fB--package-conf=\fIFILE\fP
|
||||
Use the specified package config file.
|
||||
.TP
|
||||
.BI --global-conf= FILE
|
||||
Location of the global package config.
|
||||
.TP
|
||||
.B --force
|
||||
Ignore missing dependencies, directories, and libraries.
|
||||
.TP
|
||||
.B --force-files
|
||||
Ignore missing directories and libraries only.
|
||||
.TP
|
||||
.BR -g ,\ --auto-ghc-libs
|
||||
Automatically build libs for GHCi (with register).
|
||||
.TP
|
||||
.BR -? ,\ --help
|
||||
Display a help message and exit.
|
||||
.TP
|
||||
.BR -V ,\ --version
|
||||
Output version information and exit.
|
||||
.TP
|
||||
.B --simple-output
|
||||
Print output in easy-to-parse format for some commands.
|
||||
.TP
|
||||
.B --names-only
|
||||
Only print package names, not versions; can only be used with
|
||||
.BR list\ --simple-output .
|
||||
.TP
|
||||
.B --ignore-case
|
||||
Ignore case for substring matching.
|
||||
.SH ENVIRONMENT VARIABLES
|
||||
.TP
|
||||
.B GHC_PACKAGE_PATH
|
||||
The
|
||||
.B GHC_PACKAGE_PATH
|
||||
environment variable may be set to a
|
||||
.BR : -separated
|
||||
list of files containing package databases. This list of package
|
||||
databases is used by
|
||||
.B ghc
|
||||
and
|
||||
.BR ghc-pkg ,
|
||||
with earlier databases in the list overriding later ones. This order
|
||||
was chosen to match the behaviour of the
|
||||
.B PATH
|
||||
environment variable; think of it as a list of package databases that
|
||||
are searched left-to-right for packages.
|
||||
|
||||
If
|
||||
.B GHC_PACKAGE_PATH
|
||||
ends in a separator, then the default user and system package
|
||||
databases are appended, in that order. e.g. to augment the usual set
|
||||
of packages with a database of your own, you could say:
|
||||
|
||||
.br
|
||||
\fB export GHC_PACKAGE_PATH=$HOME/.my-ghc-packages.conf:\fP
|
||||
.br
|
||||
|
||||
To check whether your
|
||||
.B GHC_PACKAGE_PATH
|
||||
setting is doing the right thing,
|
||||
.B ghc-pkg list
|
||||
will list all the databases in use, in the reverse order they are
|
||||
searched.
|
||||
.SH FILES
|
||||
Both of these locations are changed for Debian. Upstream still keeps
|
||||
these under
|
||||
.IR /usr .
|
||||
Some programs may refer to that, but look in
|
||||
.I /var
|
||||
instead.
|
||||
.TP
|
||||
.I /var/lib/ghc/package.conf
|
||||
Global package.conf file.
|
||||
.TP
|
||||
.I /var/lib/ghc/package.conf.d/
|
||||
Directory for library specific package.conf files. These are added to
|
||||
the global registry.
|
||||
.SH "SEE ALSO"
|
||||
.BR ghc (1),
|
||||
.BR runghc (1),
|
||||
.BR hugs (1).
|
||||
.SH AUTHOR
|
||||
This manual page was written by Kari Pahula <kaol@debian.org>, for the
|
||||
Debian project (and may be used by others).
|
12
ghc-warnings.mk-CC-Wall.patch
Normal file
12
ghc-warnings.mk-CC-Wall.patch
Normal file
@ -0,0 +1,12 @@
|
||||
--- ghc-8.4.3/mk/warnings.mk~ 2018-02-04 02:30:11.000000000 +0900
|
||||
+++ ghc-8.4.3/mk/warnings.mk 2018-09-29 14:33:37.607884921 +0900
|
||||
@@ -1,6 +1,6 @@
|
||||
# See Note [Order of warning flags].
|
||||
-SRC_CC_OPTS += -Wall $(WERROR)
|
||||
+#SRC_CC_OPTS += -Wall $(WERROR)
|
||||
SRC_HC_OPTS += -Wall
|
||||
# Don't add -Werror to SRC_HC_OPTS_STAGE0 (or SRC_HC_OPTS), because otherwise
|
||||
# validate may unnecessarily fail when booting with an older compiler.
|
||||
# It would be better to only exclude certain warnings from becoming errors
|
||||
|
||||
Diff finished. Sat Sep 29 14:35:43 2018
|
231
haddock.man
Normal file
231
haddock.man
Normal file
@ -0,0 +1,231 @@
|
||||
.TH HADDOCK 1 "July 2010" "Haddock, version 2.6.1" "Haddock documentation generator"
|
||||
|
||||
|
||||
.SH NAME
|
||||
haddock \- documentation tool for annotated Haskell source code
|
||||
|
||||
|
||||
.SH SYNOPSIS
|
||||
.B haddock
|
||||
.RI [ options ] " file" ...
|
||||
|
||||
|
||||
.SH DESCRIPTION
|
||||
This manual page documents briefly the
|
||||
.B haddock
|
||||
command.
|
||||
Extensive documentation is available in various other formats including DVI,
|
||||
PostScript and HTML; see below.
|
||||
|
||||
.PP
|
||||
.I file
|
||||
is a filename containing a Haskell source module.
|
||||
All the modules specified on the command line will be processed together.
|
||||
When one module refers to an entity in another module being processed, the
|
||||
documentation will link directly to that entity.
|
||||
|
||||
Entities that cannot be found, for example because they are in a module that
|
||||
is not being processed as part of the current batch, simply will not be
|
||||
hyperlinked in the generated documentation.
|
||||
.B haddock
|
||||
will emit warnings listing all the identifiers it could not resolve.
|
||||
|
||||
The modules should not be mutually recursive, as
|
||||
.B haddock
|
||||
does not like swimming in circles.
|
||||
|
||||
|
||||
.SH OPTIONS
|
||||
The programs follow the usual GNU command line syntax, with long
|
||||
options starting with two dashes (`--').
|
||||
A summary of options is included below.
|
||||
For a complete description, see the other documentation.
|
||||
|
||||
.TP
|
||||
\fB\-o \fIDIR\fP, \-\-odir=\fIDIR\fP
|
||||
directory in which to put the output files
|
||||
|
||||
.TP
|
||||
\fB\-i \fIFILE\fP, \-\-read-interface=\fIFILE\fP
|
||||
read an interface from
|
||||
.IR FILE .
|
||||
|
||||
.TP
|
||||
\fB\-D \fIFILE\fP, \-\-dump\-interface=\fIFILE\fP
|
||||
dump an interface for these modules in
|
||||
.IR FILE .
|
||||
|
||||
.TP
|
||||
\fB\-l \fIDIR\fP, \-\-lib=\fIDIR\fP
|
||||
location of Haddock's auxiliary files
|
||||
|
||||
.TP
|
||||
.BR \-h ", " \-\-html
|
||||
Generate documentation in HTML format.
|
||||
Several files will be generated into the current directory (or the specified
|
||||
directory if the
|
||||
.B \-o
|
||||
option is given), including the following:
|
||||
.RS
|
||||
.TP
|
||||
.I index.html
|
||||
The top level page of the documentation:
|
||||
lists the modules available, using indentation to represent the hierarchy if
|
||||
the modules are hierarchical.
|
||||
.TP
|
||||
.I haddock.css
|
||||
The stylesheet used by the generated HTML.
|
||||
Feel free to modify this to change the colors or layout, or even specify
|
||||
your own stylesheet using the
|
||||
.B \-\-css
|
||||
option.
|
||||
.TP
|
||||
.I module.html
|
||||
An HTML page for each module.
|
||||
.TP
|
||||
.IR doc-index.html ", " doc-index-XX.html
|
||||
The index, split into two (functions/constructors and types/classes, as per
|
||||
Haskell namespaces) and further split alphabetically.
|
||||
.RE
|
||||
|
||||
.TP
|
||||
.B \-\-hoogle
|
||||
output for Hoogle
|
||||
|
||||
.TP
|
||||
\fB\-\-html\-help=\fIformat
|
||||
produce index and table of contents in mshelp, mshelp2 or devhelp format
|
||||
(with \fI\-h\fP)
|
||||
|
||||
.TP
|
||||
\fB\-\-source\-base=\fPURL
|
||||
Include links to the source files in the generated documentation, where URL
|
||||
is the base URL where the source files can be found.
|
||||
|
||||
.TP
|
||||
\fB\-s \fPURL, \fB\-\-source\-module=\fPURL
|
||||
Include links to the source files in the generated documentation, where URL
|
||||
is a source code link for each module (using the %{FILE} or %{MODULE} vars).
|
||||
|
||||
.TP
|
||||
\fB\-\-source\-entity=\fPURL
|
||||
Include links to the source files in the generated documentation, where URL
|
||||
is a source code link for each entity (using the %{FILE}, %{MODULE} or %{NAME} vars).
|
||||
|
||||
.TP
|
||||
\fB\-\-comments\-base=\fPURL
|
||||
URL for a comments link on the contents and index pages.
|
||||
.TP
|
||||
\fB\-\-comments\-module=\fPURL
|
||||
URL for a comments link for each module (using the %{MODULE} var).
|
||||
.TP
|
||||
\fB\-\-comments\-entity=\fPURL
|
||||
URL for a comments link for each entity (using the %{FILE}, %{MODULE} or %{NAME} vars).
|
||||
.TP
|
||||
.BI \-\-css= FILE
|
||||
Use the CSS
|
||||
.I FILE
|
||||
instead of the default stylesheet that comes with
|
||||
.B haddock
|
||||
for HTML output. It should specify certain classes: see the default stylesheet for details.
|
||||
|
||||
.TP
|
||||
\fB\-p \fIFILE\fP, \-\-prologue=\fIFILE\fP
|
||||
Specify a file containing prologue text.
|
||||
|
||||
.TP
|
||||
\fB\-t \fITITLE\fP, \-\-title=\fITITLE\fP
|
||||
Use \fITITLE\fP as the page heading for each page in the documentation.
|
||||
This will normally be the name of the library being documented.
|
||||
|
||||
The title should be a plain string (no markup please!).
|
||||
|
||||
.TP
|
||||
\fB\-k \fINAME\fP, \-\-package=\fINAME\fP
|
||||
Specify the package name (optional).
|
||||
|
||||
.TP
|
||||
.BR \-n ", " \-\-no\-implicit\-prelude
|
||||
do not assume Prelude is imported
|
||||
|
||||
.TP
|
||||
.BR \-d ", " \-\-debug
|
||||
Enable extra debugging output.
|
||||
|
||||
.TP
|
||||
.BR \-? ", " \-\-help
|
||||
Display help.
|
||||
|
||||
.TP
|
||||
.BR \-V ", " \-\-version
|
||||
Display version.
|
||||
|
||||
.TP
|
||||
.BR \-v ", " \-\-verbose
|
||||
Verbose status reporting.
|
||||
|
||||
.TP
|
||||
\fB\-\-use\-contents=\fPURL
|
||||
Use a separately-generated HTML contents page.
|
||||
|
||||
.TP
|
||||
.B \-\-gen\-contents
|
||||
Generate an HTML contents from specified interfaces.
|
||||
|
||||
.TP
|
||||
\fB\-\-use\-index=\fPURL
|
||||
Use a separately-generated HTML index.
|
||||
|
||||
.TP
|
||||
.B \-\-gen\-index
|
||||
Generate an HTML index from specified interfaces.
|
||||
|
||||
.TP
|
||||
.B \-\-ignore\-all\-exports
|
||||
Behave as if all modules have the ignore-exports atribute
|
||||
|
||||
.TP
|
||||
\fB\-\-hide=\fIMODULE
|
||||
Behave as if \fIMODULE\fP has the hide attribute.
|
||||
|
||||
.TP
|
||||
\fB\-\-use\-package=\fIPACKAGE
|
||||
The modules being processed depend on \fIPACKAGE\fP.
|
||||
|
||||
.SH FILES
|
||||
.I /usr/bin/haddock
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/plus.gif
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/minus.gif
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/haskell_icon.gif
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/haddock.js
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/haddock.css
|
||||
.br
|
||||
.I /usr/share/haddock-2.6.1/html/haddock-DEBUG.css
|
||||
|
||||
.SH SEE ALSO
|
||||
.IR /usr/share/doc/haddock/ ,
|
||||
.br
|
||||
the Haddock homepage
|
||||
.UR http://haskell.org/haddock/
|
||||
(http://haskell.org/haddock/)
|
||||
.UE
|
||||
|
||||
.SH COPYRIGHT
|
||||
Haddock version 2.6.1
|
||||
|
||||
Copyright 2006-2010 Simon Marlow <simonmar@microsoft.com>, Dawid Waern <david.waern@gmail.com>.
|
||||
All rights reserved.
|
||||
|
||||
|
||||
.SH AUTHOR
|
||||
This manual page was written by Michael Weber <michaelw@debian.org>
|
||||
for the Debian GNU/Linux system (but may be used by others).
|
||||
|
||||
.\" Local variables:
|
||||
.\" mode: nroff
|
||||
.\" End:
|
45
runghc.man
Normal file
45
runghc.man
Normal file
@ -0,0 +1,45 @@
|
||||
.TH RUNGHC 1 "28 NOVEMBER 2007"
|
||||
.SH NAME
|
||||
runghc \- program to run Haskell programs without first having to compile them.
|
||||
.SH SYNOPSIS
|
||||
.B runghc
|
||||
.RI
|
||||
[runghc|flags] [GHC|flags] module [program|flags]...
|
||||
.br
|
||||
.SH DESCRIPTION
|
||||
.B runghc
|
||||
is considered a non-interactive interpreter and part of The Glasgow Haskell Compiler.
|
||||
.B runghc
|
||||
is a compiler that automatically runs its results at the end.
|
||||
.PP
|
||||
.SH OPTIONS
|
||||
.TP
|
||||
the flags are:
|
||||
.TP
|
||||
.B \-f
|
||||
it tells runghc which GHC to use to run the program. If it is not given then runghc will search for GHC in the directories in the system search path. runghc -f /path/to/ghc
|
||||
.TP
|
||||
.B \--
|
||||
runghc will try to work out where the boundaries between [runghc flags] and [GHC flags], and [GHC flags] and module are, but you can use a -- flag if it doesn't get it right. For example, runghc -- -fglasgow-exts Foo
|
||||
means runghc won't try to use glasgow-exts as the path to GHC, but instead will pass the flag to GHC.
|
||||
|
||||
.SH EXAMPLES
|
||||
.TP
|
||||
.B runghc foo
|
||||
.PP
|
||||
.B runghc -f /path/to/ghc foo
|
||||
.TP
|
||||
.B runghc -- -fglasgow-exts Foo
|
||||
|
||||
.SH SEE ALSO
|
||||
.BR ghc (1),
|
||||
.BR ghci (1).
|
||||
.br
|
||||
|
||||
.SH COPYRIGHT
|
||||
Copyright 2002, The University Court of the University of Glasgow. All rights reserved.
|
||||
|
||||
.SH AUTHOR
|
||||
This manual page was written by Efrain Valles Pulgar <effie.jayx@gmail.com>. This is free documentation; see the GNU
|
||||
General Public Licence version 2 or later for copying conditions. There is NO WARRANTY.
|
||||
|
4
sources
4
sources
@ -1,2 +1,2 @@
|
||||
SHA512 (ghc-8.2.2-src.tar.xz) = 6549416f470b599973d409fa45f59c25b07e6a94798cef1a19ad432547dc225338cf4dbc4a4793114b4a417798a3b59b122b92b020251074405c5302b7ffe799
|
||||
SHA512 (ghc-8.2.2-testsuite.tar.xz) = 5b60413910bce2ef0d71e2f531d7297cefc0b03df3e23d63f7a872d9a264e1512b2d6631a3fba35e72d113389762ba34d503649ea4a852ce9fd42e94ef6b96dc
|
||||
SHA512 (ghc-8.8.4-src.tar.xz.sig) = 1ed2e64e8b75a147d7c66b0018119f54ac740131b6f74612aa975c9120d8f7a8a2286829cef22ef2cd16262af0604659daa41c09ef3bdec6c22b8d086fbc1166
|
||||
SHA512 (ghc-8.8.4-src.tar.xz) = efd23bd819f7429486696a3a929a040471db7ea8a2d1f1d832e4cf0825b9e1e0c5e6ecad0ab8376f58b74e9c28c1d2f773bd126596d6d853c9e57d57e5ceb090
|
||||
|
Loading…
Reference in New Issue
Block a user