1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
{-
We need to do some ugly hacks here as base mix of portable and
unportable stuff, as well as home to some GHC magic.
-}
module Main (main) where
import Control.Monad
import Data.List
import Distribution.Simple
import Distribution.PackageDescription
import Distribution.Setup
import Distribution.Simple.LocalBuildInfo
import System.Environment
import System.Exit
main :: IO ()
main = do args <- getArgs
let (ghcArgs, args') = extractGhcArgs args
(confArgs, args'') = extractConfigureArgs args'
hooks = defaultUserHooks {
confHook = add_extra_deps
$ confHook defaultUserHooks,
postConf = add_configure_options confArgs
$ postConf defaultUserHooks,
buildHook = add_ghc_options ghcArgs
$ filter_modules_hook
$ buildHook defaultUserHooks,
makefileHook = add_ghc_options ghcArgs
$ filter_modules_hook
$ makefileHook defaultUserHooks,
instHook = filter_modules_hook
$ instHook defaultUserHooks }
withArgs args'' $ defaultMainWithHooks hooks
extractGhcArgs :: [String] -> ([String], [String])
extractGhcArgs = extractPrefixArgs "--ghc-option="
extractConfigureArgs :: [String] -> ([String], [String])
extractConfigureArgs = extractPrefixArgs "--configure-option="
extractPrefixArgs :: String -> [String] -> ([String], [String])
extractPrefixArgs the_prefix args
= let f [] = ([], [])
f (x:xs) = case f xs of
(wantedArgs, otherArgs) ->
case removePrefix the_prefix x of
Just wantedArg ->
(wantedArg:wantedArgs, otherArgs)
Nothing ->
(wantedArgs, x:otherArgs)
in f args
removePrefix :: String -> String -> Maybe String
removePrefix "" ys = Just ys
removePrefix _ "" = Nothing
removePrefix (x:xs) (y:ys)
| x == y = removePrefix xs ys
| otherwise = Nothing
type Hook a = PackageDescription -> LocalBuildInfo -> Maybe UserHooks -> a
-> IO ()
type ConfHook = PackageDescription -> ConfigFlags -> IO LocalBuildInfo
type PostConfHook = Args -> ConfigFlags -> PackageDescription -> LocalBuildInfo
-> IO ExitCode
-- type PDHook = PackageDescription -> ConfigFlags -> IO ()
add_ghc_options :: [String] -> Hook a -> Hook a
add_ghc_options args f pd lbi muhs x
= do let lib' = case library pd of
Just lib ->
let bi = libBuildInfo lib
opts = options bi ++ [(GHC, args)]
bi' = bi { options = opts }
in lib { libBuildInfo = bi' }
Nothing -> error "Expected a library"
pd' = pd { library = Just lib' }
f pd' lbi muhs x
add_configure_options :: [String] -> PostConfHook -> PostConfHook
add_configure_options args f as cfs pd lbi
= f (as ++ args) cfs pd lbi
filter_modules_hook :: Hook a -> Hook a
filter_modules_hook f pd lbi muhs x
= let build_filter = case compilerFlavor $ compiler lbi of
GHC -> forGHCBuild
_ -> isPortableBuild
lib' = case library pd of
Just lib ->
let ems = filter build_filter (exposedModules lib)
in lib { exposedModules = ems }
Nothing -> error "Expected a library"
pd' = pd { library = Just lib' }
in f pd' lbi muhs x
isPortableBuild :: String -> Bool
isPortableBuild s
| "GHC" `isPrefixOf` s = False
| "Data.Generics" `isPrefixOf` s = False
| otherwise = s `notElem` ["Foreign.Concurrent", "System.Process"]
forGHCBuild :: String -> Bool
forGHCBuild = ("GHC.Prim" /=)
add_extra_deps :: ConfHook -> ConfHook
add_extra_deps f pd cf
= do lbi <- f pd cf
case compilerFlavor (compiler lbi) of
GHC ->
do -- Euch. We should just add the right thing to the lbi
-- ourselves rather than rerunning configure.
let pd' = pd { buildDepends = Dependency "rts" AnyVersion
: buildDepends pd }
f pd' cf
_ ->
return lbi
|