3 Commits

Author	SHA1	Message	Date
Edwin Brady	a5c9ce9306	Some directory file function renamings ... This allows us to build Idris2 proper again	2020-05-24 20:29:49 +01:00
Edwin Brady	c7f893f6aa	Reorganise optimisation options for C ... 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).	2020-05-16 18:08:00 +01:00
Kamil Shakirov	2ad471a5e3	Refactor makefiles to use some common options	2020-05-13 16:23:07 +06:00