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