mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-17 16:27:52 +03:00
6d37471ccc
If set, when compiling this generates an executable which generates profiling data. Currently supported by Racket and Chez, other backends silently ignore it.
13 lines
251 B
Plaintext
13 lines
251 B
Plaintext
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
|