@@ -127,8 +127,16 @@ idrisConfigure _ flags _ local = do
127idrisPreSDist args flags = do
127idrisPreSDist args flags = do
128 let dir = S.fromFlag (S.sDistDirectory flags)
128 let dir = S.fromFlag (S.sDistDirectory flags)
129 let verb = S.fromFlag (S.sDistVerbosity flags)
129 let verb = S.fromFlag (S.sDistVerbosity flags)
130− generateVersionModule verb (dir </> "dist" </>"build" </> "autogen") True
130+ generateVersionModule verb ("src") True
131 preSDist simpleUserHooks args flags
131 preSDist simpleUserHooks args flags
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
137+ (\e -> let e' = (e :: SomeException) in return ())
138+ postSDist simpleUserHooks args flags desc lbi
132-- -----------------------------------------------------------------------------
140-- -----------------------------------------------------------------------------
@@ -203,4 +211,5 @@ main = defaultMainWithHooks $ simpleUserHooks
203 idrisInstall (S.fromFlag $ S.installVerbosity flags)
211 idrisInstall (S.fromFlag $ S.installVerbosity flags)
204 NoCopyDest pkg local
212 NoCopyDest pkg local
205 , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
213 , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
214+ , postSDist = idrisPostSDist