forked from idris-lang/Idris2
-
Notifications
You must be signed in to change notification settings - Fork 0
/
idris2.ipkg
22 lines (16 loc) · 693 Bytes
/
idris2.ipkg
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
package idris2app
depends = network
sourcedir = "src"
-- Set if you want the build to output timing data
-- opts = "--timing 1"
-- Set if you want the executable to generate profiling data
-- (Currently supported by Racket and Chez back ends, others ignore it)
-- opts = "--profile"
-- Set if you want incremental builds. This is good for development, since
-- small changes compile faster, but bad for deployment since the resulting
-- executable runs at around half the speed.
-- (Alternatively: set the environment variable IDRIS2_INC_CGS=chez)
-- For this to work, you need to do the initial incremental build from clean.
-- opts = "--inc chez"
main = Idris.Main
executable = idris2