@@ -68,7 +68,7 @@ installPkg pkgdesc
68 mapM_ (installObj (pkgname pkgdesc)) (objs pkgdesc)
68 mapM_ (installObj (pkgname pkgdesc)) (objs pkgdesc)
70buildMods :: [Opt] -> [Name] -> IO ()
70buildMods :: [Opt] -> [Name] -> IO ()
71−buildMods opts ns = do let f = map (toPath . show) ns
71+buildMods opts ns = do let f = map (toPath . showCG) ns
72-- putStrLn $ "MODULE: " ++ show f
72-- putStrLn $ "MODULE: " ++ show f
73 idris (map Filename f ++ opts)
73 idris (map Filename f ++ opts)