git.iko.soy/Idris-dev
on master help sign in
Make no java default compilation method
42fc6d2Edwin Brady
config.mk+1−1
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1GMP_INCLUDE_DIR :=
1GMP_INCLUDE_DIR :=
2CC :=gcc
2CC :=gcc
3CABAL :=cabal
3CABAL :=cabal
4−CABALFLAGS :=-f Java
4+CABALFLAGS :=
5## Enable Java RTS:
5## Enable Java RTS:
6#CABALFLAGS :=-f Java
6#CABALFLAGS :=-f Java