Idris.Package

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

getPkgDesc

buildPkg

checkPkg

replPkg

cleanPkg

documentPkg

testPkg

installPkg

auditPackage

buildMods

testLib

rmIBC

rmIdx

rmExe

toIBCFile

installIBC

installIdx

installObj

mkDirCmd

inPkgDir

make

clean

mergeOptions