@@ -90,9 +90,30 @@ idrisClean _ flags _ _ = do
9090-- -----------------------------------------------------------------------------
9191-- Configure
9292
93+gitHash :: IO String
94+gitHash = do h <- Control.Exception.catch (readProcess "git" ["rev-parse", "--short", "HEAD"] "")
95+ (\e -> let e' = (e :: SomeException) in return "PRE")
96+ return $ takeWhile (/= '\n') h
97+
98+-- Put the Git hash into a module for use in the program
99+-- For release builds, just put the empty string in the module
100+generateVersionModule verbosity dir release = do
101+ hash <- gitHash
102+ let versionModulePath = dir </> "Version_idris" Px.<.> "hs"
103+ putStrLn $ "Generating " ++ versionModulePath ++
104+ if release then " for release" else (" for prerelease " ++ hash)
105+ createDirectoryIfMissingVerbose verbosity True dir
106+ rewriteFile versionModulePath (versionModuleContents hash)
107+
108+ where versionModuleContents h = "module Version_idris where\n\n" ++
109+ "gitHash :: String\n" ++
110+ if release
111+ then "gitHash = \"\"\n"
112+ else "gitHash = \"-git:" ++ h ++ "\"\n"
113+
93114idrisConfigure _ flags _ local = do
94115 configureRTS
95− generateVersionModule
116+ generateVersionModule verbosity (autogenModulesDir local) (isRelease (configFlags local))
96117 where
97118 verbosity = S.fromFlag $ S.configVerbosity flags
98119 version = pkgVersion . package $ localPkgDescr local
@@ -103,26 +124,28 @@ idrisConfigure _ flags _ local = do
103124 -- the file after configure.
104125 configureRTS = make verbosity ["-C", "rts", "clean"]
105126
106− -- Put the Git hash into a module for use in the program
107− -- For release builds, just put the empty string in the module
108− generateVersionModule = do
109− gitHash <- Control.Exception.catch (readProcess "git" ["rev-parse", "--short", "HEAD"] "")
110− (\e -> let e' = (e :: SomeException) in return "PRE")
111− let hash = takeWhile (/= '\n') gitHash
112− let versionModulePath = autogenModulesDir local </> "Version_idris" Px.<.> "hs"
113− createDirectoryIfMissingVerbose verbosity True (autogenModulesDir local)
114− rewriteFile versionModulePath (versionModuleContents hash)
115−
116− versionModuleContents h = "module Version_idris where\n\n" ++
117− "gitHash :: String\n" ++
118− if isRelease (configFlags local)
119− then "gitHash = \"\"\n"
120− else "gitHash = \"-git:" ++ h ++ "\"\n"
127+idrisPreSDist args flags = do
128+ let dir = S.fromFlag (S.sDistDirectory flags)
129+ let verb = S.fromFlag (S.sDistVerbosity flags)
130+ generateVersionModule verb ("src") True
131+ preSDist simpleUserHooks args flags
121132
133+idrisPostSDist args flags desc lbi = do
134+ Control.Exception.catch (do let file = "src" </> "Version_idris" Px.<.> "hs"
135+ putStrLn $ "Removing generated module " ++ file
136+ removeFile file)
137+ (\e -> let e' = (e :: SomeException) in return ())
138+ postSDist simpleUserHooks args flags desc lbi
122139
123140-- -----------------------------------------------------------------------------
124141-- Build
125142
143+getVersion :: Args -> S.BuildFlags -> IO HookedBuildInfo
144+getVersion args flags = do
145+ hash <- gitHash
146+ let buildinfo = (emptyBuildInfo { cppOptions = ["-DVERSION="++hash] }) :: BuildInfo
147+ return (Just buildinfo, [])
148+
126149idrisBuild _ flags _ local = do
127150 buildStdLib
128151 buildRTS
@@ -144,6 +167,7 @@ idrisBuild _ flags _ local = do
144167 gmpflag False = []
145168 gmpflag True = ["GMP=-DIDRIS_GMP"]
146169
170+
147171-- -----------------------------------------------------------------------------
148172-- Copy/Install
149173
@@ -186,4 +210,6 @@ main = defaultMainWithHooks $ simpleUserHooks
186210 , postInst = \_ flags pkg local ->
187211 idrisInstall (S.fromFlag $ S.installVerbosity flags)
188212 NoCopyDest pkg local
213+ , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
214+ , postSDist = idrisPostSDist
189215 }