package idris2app

depends = network

sourcedir = "src"

-- Set if you want the executable to generate profiling data
-- (Currently supported by Racket and Chez back ends, others ignore it)
-- opts = "--profile"

main = Idris.Main
executable = idris2