Idris2/idris2.ipkg

package idris2app

depends = idris2, contrib, network

sourcedir = "src"

main = Idris.Main
executable = idris2
Make the idris2 executable depend on the idris2 lib 2020-07-10 13:43:08 +03:00			`package idris2app`
Add missing files (I knew there'd be a couple...) 2020-05-18 02:28:24 +03:00
Make the idris2 executable depend on the idris2 lib 2020-07-10 13:43:08 +03:00			`depends = idris2, contrib, network`
Add missing files (I knew there'd be a couple...) 2020-05-18 02:28:24 +03:00
			`sourcedir = "src"`

Chez output fix from upstream 2020-05-18 11:49:51 +03:00			`main = Idris.Main`
Change executable name I think we can be the official Idris2 now 2020-05-20 15:31:04 +03:00			`executable = idris2`