git.iko.soy/Idris-dev
on master help sign in
Make no java default compilation method
commit42fc6d2d42b8d0d70e8dbbb546031a9b273dc311 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 17 Mar 2013, 11:09 (14 years ago) parentc9d32af
1 file changed+1−1
compare with master
unifiedsplit
config.mk+1−1
config.mk+1−1
@@ -1,6 +1,6 @@
11GMP_INCLUDE_DIR :=
22CC :=gcc
33CABAL :=cabal
4−CABALFLAGS :=-f Java
4+CABALFLAGS :=
55## Enable Java RTS:
66#CABALFLAGS :=-f Java