blodwen.ipkg

package blodwen

pkgs = contrib

modules = Idris.BindImplicits,
          Idris.Desugar,
          Idris.ModTree,
          Idris.Syntax,
          Idris.Parser,
          Idris.ProcessIdr,
          Idris.REPL,
          Idris.Resugar,

          Idris.Elab.Implementation,
          Idris.Elab.Interface

sourcedir = src
executable = blodwen
-- opts = "--warnreach --partial-eval --cg-opt -O2"
opts = "--warnreach --partial-eval"

main = Idris.Main