9b55e98 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Cleaning a package should remove idx file too

9b55e98Edwin Brady12 years ago

src/Pkg/Package.hs+6

@@ -118,6 +118,7 @@ cleanPkg fp

118 setCurrentDirectory $ dir </> sourcedir pkgdesc

119 clean (makefile pkgdesc)

120 mapM_ rmIBC (modules pkgdesc)

121+ rmIdx (pkgname pkgdesc)

121 case execout pkgdesc of

122 case execout pkgdesc of

122 Nothing -> return ()

123 Nothing -> return ()

123 Just s -> rmFile $ dir </> s

124 Just s -> rmFile $ dir </> s

@@ -232,6 +233,11 @@ testLib warn p f

232rmIBC :: Name -> IO ()

233rmIBC :: Name -> IO ()

233rmIBC m = rmFile $ toIBCFile m

234rmIBC m = rmFile $ toIBCFile m

234

235

236+rmIdx :: String -> IO ()

237+rmIdx p = do let f = pkgIndex p

238+ ex <- doesFileExist f

239+ when ex $ rmFile f

240+

235toIBCFile (UN n) = str n ++ ".ibc"

241toIBCFile (UN n) = str n ++ ".ibc"

236toIBCFile (NS n ns) = foldl1' (</>) (reverse (toIBCFile n : map str ns))

242toIBCFile (NS n ns) = foldl1' (</>) (reverse (toIBCFile n : map str ns))

237

243