@@ -127,8 +127,16 @@ idrisConfigure _ flags _ local = do
127127idrisPreSDist args flags = do
128128 let dir = S.fromFlag (S.sDistDirectory flags)
129129 let verb = S.fromFlag (S.sDistVerbosity flags)
130− generateVersionModule verb (dir </> "dist" </>"build" </> "autogen") True
130+ generateVersionModule verb ("src") True
131131 preSDist simpleUserHooks args flags
132+
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
139+
132140-- -----------------------------------------------------------------------------
133141-- Build
134142
@@ -203,4 +211,5 @@ main = defaultMainWithHooks $ simpleUserHooks
203211 idrisInstall (S.fromFlag $ S.installVerbosity flags)
204212 NoCopyDest pkg local
205213 , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
206− }
214+ , postSDist = idrisPostSDist
215+ }