Pkg.Package

Contents

• read the package description
• check all the library dependencies exist
• invoke the makefile if there is one
• invoke idris on each module, with idris_opts
• install everything into datadir/pname, if install flag is set

Synopsis

• buildPkg :: Bool -> (Bool, FilePath) -> IO ()
• cleanPkg :: FilePath -> IO ()
• installPkg :: PkgDesc -> IO ()
• buildMods :: [Opt] -> [Name] -> IO ()
• testLib :: Bool -> String -> String -> IO Bool
• rmIBC :: Name -> IO ()
• toIBCFile :: Name -> [Char]
• installIBC :: String -> Name -> IO ()
• installObj :: String -> String -> IO ()
• mkDirCmd :: [Char]
• make :: Maybe String -> IO ()
• clean :: Maybe String -> IO ()

read the package description

check all the library dependencies exist

invoke the makefile if there is one

invoke idris on each module, with idris_opts

install everything into datadir/pname, if install flag is set