git.iko.soy/Idris-dev
on 3408098 help sign in
Idris-dev/Setup.hs
285 lines 11 kB history raw
1{-# LANGUAGE CPP #-}
2import Control.Monad
3import Data.IORef
4import Control.Exception (SomeException, catch)
6import Distribution.Simple
7import Distribution.Simple.BuildPaths (autogenModulesDir)
8import Distribution.Simple.InstallDirs as I
9import Distribution.Simple.LocalBuildInfo as L
10import qualified Distribution.Simple.Setup as S
11import qualified Distribution.Simple.Program as P
12import Distribution.Simple.Utils (createDirectoryIfMissingVerbose, rewriteFile, notice, installOrdinaryFiles)
13import Distribution.Compiler
14import Distribution.PackageDescription
15import Distribution.Text
17import System.Environment
18import System.Exit
19import System.FilePath ((</>), splitDirectories,isAbsolute)
20import System.Directory
21import qualified System.FilePath.Posix as Px
22import System.Process
24-- After Idris is built, we need to check and install the prelude and other libs
26-- -----------------------------------------------------------------------------
27-- Idris Command Path
29-- make on mingw32 exepects unix style separators
30#ifdef mingw32_HOST_OS
31(<//>) = (Px.</>)
32idrisCmd local = Px.joinPath $ splitDirectories $ ".." <//> ".." <//> buildDir local <//> "idris" <//> "idris"
33#else
34idrisCmd local = ".." </> ".." </> buildDir local </> "idris" </> "idris"
35#endif
37-- -----------------------------------------------------------------------------
38-- Make Commands
40-- use GNU make on FreeBSD
41#if defined(freebsd_HOST_OS) || defined(dragonfly_HOST_OS)
42mymake = "gmake"
43#else
44mymake = "make"
45#endif
46make verbosity =
47 P.runProgramInvocation verbosity . P.simpleProgramInvocation mymake
49#ifdef mingw32_HOST_OS
50windres verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "windres"
51#endif
52-- -----------------------------------------------------------------------------
53-- Flags
55usesGMP :: S.ConfigFlags -> Bool
56usesGMP flags =
57 case lookup (FlagName "gmp") (S.configConfigurationsFlags flags) of
58 Just True -> True
59 Just False -> False
60 Nothing -> False
62execOnly :: S.ConfigFlags -> Bool
63execOnly flags =
64 case lookup (FlagName "execonly") (S.configConfigurationsFlags flags) of
65 Just True -> True
66 Just False -> False
67 Nothing -> False
69isRelease :: S.ConfigFlags -> Bool
70isRelease flags =
71 case lookup (FlagName "release") (S.configConfigurationsFlags flags) of
72 Just True -> True
73 Just False -> False
74 Nothing -> False
76isFreestanding :: S.ConfigFlags -> Bool
77isFreestanding flags =
78 case lookup (FlagName "freestanding") (S.configConfigurationsFlags flags) of
79 Just True -> True
80 Just False -> False
81 Nothing -> False
82-- -----------------------------------------------------------------------------
83-- Clean
85idrisClean _ flags _ _ = do
86 cleanStdLib
87 where
88 verbosity = S.fromFlag $ S.cleanVerbosity flags
90 cleanStdLib = do
91 makeClean "libs"
93 makeClean dir = make verbosity [ "-C", dir, "clean", "IDRIS=idris" ]
96-- -----------------------------------------------------------------------------
97-- Configure
99gitHash :: IO String
100gitHash = do h <- Control.Exception.catch (readProcess "git" ["rev-parse", "--short", "HEAD"] "")
101 (\e -> let e' = (e :: SomeException) in return "PRE")
102 return $ takeWhile (/= '\n') h
104-- Put the Git hash into a module for use in the program
105-- For release builds, just put the empty string in the module
106generateVersionModule verbosity dir release = do
107 hash <- gitHash
108 let versionModulePath = dir </> "Version_idris" Px.<.> "hs"
109 putStrLn $ "Generating " ++ versionModulePath ++
110 if release then " for release" else (" for prerelease " ++ hash)
111 createDirectoryIfMissingVerbose verbosity True dir
112 rewriteFile versionModulePath (versionModuleContents hash)
114 where versionModuleContents h = "module Version_idris where\n\n" ++
115 "gitHash :: String\n" ++
116 if release
117 then "gitHash = \"\"\n"
118 else "gitHash = \"git:" ++ h ++ "\"\n"
120-- Generate a module that contains the lib path for a freestanding Idris
121generateTargetModule verbosity dir targetDir = do
122 absPath <- return $ isAbsolute targetDir
123 let targetModulePath = dir </> "Target_idris" Px.<.> "hs"
124 putStrLn $ "Generating " ++ targetModulePath
125 createDirectoryIfMissingVerbose verbosity True dir
126 rewriteFile targetModulePath (versionModuleContents absPath targetDir)
127 where versionModuleContents absolute td = "module Target_idris where\n\n" ++
128 "import System.FilePath\n" ++
129 "import System.Environment\n" ++
130 "getDataDir :: IO String\n" ++
131 if absolute
132 then "getDataDir = return \"" ++ td ++ "\"\n"
133 else "getDataDir = do \n" ++
134 " expath <- getExecutablePath\n" ++
135 " execDir <- return $ dropFileName expath\n" ++
136 " return $ execDir ++ \"" ++ td ++ "\"\n"
137 ++ "getDataFileName :: FilePath -> IO FilePath\n"
138 ++ "getDataFileName name = do\n"
139 ++ " dir <- getDataDir\n"
140 ++ " return (dir ++ \"/\" ++ name)"
142-- a module that has info about existence and location of a bundled toolchain
143generateToolchainModule verbosity srcDir toolDir = do
144 let commonContent = "module Tools_idris where\n\n"
145 let toolContent = case toolDir of
146 Just dir -> "hasBundledToolchain = True\n" ++
147 "getToolchainDir = \"" ++ dir ++ "\"\n"
148 Nothing -> "hasBundledToolchain = False\n" ++
149 "getToolchainDir = \"\""
150 let toolPath = srcDir </> "Tools_idris" Px.<.> "hs"
151 createDirectoryIfMissingVerbose verbosity True srcDir
152 rewriteFile toolPath (commonContent ++ toolContent)
154idrisConfigure _ flags _ local = do
155 configureRTS
156 generateVersionModule verbosity (autogenModulesDir local) (isRelease (configFlags local))
157 if (isFreestanding $ configFlags local)
158 then (do
159 toolDir <- lookupEnv "IDRIS_TOOLCHAIN_DIR"
160 generateToolchainModule verbosity (autogenModulesDir local) toolDir
161 targetDir <- lookupEnv "IDRIS_LIB_DIR"
162 case targetDir of
163 Just d -> generateTargetModule verbosity (autogenModulesDir local) d
164 Nothing -> error $ "Trying to build freestanding without a target directory."
165 ++ " Set it by defining IDRIS_LIB_DIR.")
166 else
167 generateToolchainModule verbosity (autogenModulesDir local) Nothing
168 where
169 verbosity = S.fromFlag $ S.configVerbosity flags
170 version = pkgVersion . package $ localPkgDescr local
172 -- This is a hack. I don't know how to tell cabal that a data file needs
173 -- installing but shouldn't be in the distribution. And it won't make the
174 -- distribution if it's not there, so instead I just delete
175 -- the file after configure.
176 configureRTS = make verbosity ["-C", "rts", "clean"]
178idrisPreSDist args flags = do
179 let dir = S.fromFlag (S.sDistDirectory flags)
180 let verb = S.fromFlag (S.sDistVerbosity flags)
181 generateVersionModule verb ("src") True
182 generateTargetModule verb "src" "./libs"
183 generateToolchainModule verb "src" Nothing
184 preSDist simpleUserHooks args flags
186idrisPostSDist args flags desc lbi = do
187 Control.Exception.catch (do let file = "src" </> "Version_idris" Px.<.> "hs"
188 let targetFile = "src" </> "Target_idris" Px.<.> "hs"
189 putStrLn $ "Removing generated modules:\n "
190 ++ file ++ "\n" ++ targetFile
191 removeFile file
192 removeFile targetFile)
193 (\e -> let e' = (e :: SomeException) in return ())
194 postSDist simpleUserHooks args flags desc lbi
196-- -----------------------------------------------------------------------------
197-- Build
199getVersion :: Args -> S.BuildFlags -> IO HookedBuildInfo
200getVersion args flags = do
201 hash <- gitHash
202 let buildinfo = (emptyBuildInfo { cppOptions = ["-DVERSION="++hash] }) :: BuildInfo
203 return (Just buildinfo, [])
207idrisPreBuild args flags = do
208#ifdef mingw32_HOST_OS
209 createDirectoryIfMissingVerbose verbosity True dir
210 windres verbosity ["icons/idris_icon.rc","-o", dir++"idris_icon.o"]
211 return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "idris_icon.o"] })])
212 where
213 verbosity = S.fromFlag $ S.buildVerbosity flags
214 dir = S.fromFlagOrDefault "dist" $ S.buildDistPref flags
215#else
216 return (Nothing, [])
217#endif
219idrisBuild _ flags _ local = unless (execOnly (configFlags local)) $ do
220 buildStdLib
221 buildRTS
222 where
223 verbosity = S.fromFlag $ S.buildVerbosity flags
225 buildStdLib = do
226 putStrLn "Building libraries..."
227 makeBuild "libs"
228 where
229 makeBuild dir = make verbosity [ "-C", dir, "build" , "IDRIS=" ++ idrisCmd local]
231 buildRTS = make verbosity (["-C", "rts", "build"] ++
232 gmpflag (usesGMP (configFlags local)))
234 gmpflag False = []
235 gmpflag True = ["GMP=-DIDRIS_GMP"]
239-- -----------------------------------------------------------------------------
240-- Copy/Install
242idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $ do
243 installStdLib
244 installRTS
245 installManPage
246 where
247 target = datadir $ L.absoluteInstallDirs pkg local copy
249 installStdLib = do
250 putStrLn $ "Installing libraries in " ++ target
251 makeInstall "libs" target
253 installRTS = do
254 let target' = target </> "rts"
255 putStrLn $ "Installing run time system in " ++ target'
256 makeInstall "rts" target'
258 installManPage = do
259 let mandest = (mandir $ L.absoluteInstallDirs pkg local copy) ++ "/man1"
260 notice verbosity $ unwords ["Copying man page to", mandest]
261 installOrdinaryFiles verbosity mandest [("man", "idris.1")]
264 makeInstall src target =
265 make verbosity [ "-C", src, "install" , "TARGET=" ++ target, "IDRIS=" ++ idrisCmd local]
267-- -----------------------------------------------------------------------------
268-- Main
270-- Install libraries during both copy and install
271-- See https://github.com/haskell/cabal/issues/709
272main = defaultMainWithHooks $ simpleUserHooks
273 { postClean = idrisClean
274 , postConf = idrisConfigure
275 , preBuild = idrisPreBuild
276 , postBuild = idrisBuild
277 , postCopy = \_ flags pkg local ->
278 idrisInstall (S.fromFlag $ S.copyVerbosity flags)
279 (S.fromFlag $ S.copyDest flags) pkg local
280 , postInst = \_ flags pkg local ->
281 idrisInstall (S.fromFlag $ S.installVerbosity flags)
282 NoCopyDest pkg local
283 , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
284 , postSDist = idrisPostSDist
285 }