git.iko.soy/Idris-dev
on e294e0e help sign in
Idris-dev/config.mk
9 lines 184 B history raw
1GMP_INCLUDE_DIR :=
2CC :=gcc
3CABAL :=cabal
4#CABALFLAGS :=
5## Enable Java RTS:
6#CABALFLAGS :=-f Java
7## Disable building of Effects
8#CABALFLAGS :=-f NoEffects