mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-09-11 16:05:51 +03:00
It should be -O2 for the rts, but -O2 takes ages for idris2.c so should be saved for releases (also OPT should be able to be edited easily for e.g. adding profiling) Also default to clang (perhaps it would be better if we could check whether clang was available first, but it does a better job as the default overall). |
||
---|---|---|
.. | ||
rts | ||
.gitignore | ||
config.mk | ||
Makefile |