035e15bAdd -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.stepcut12 years ago 17c887aSet IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.stepcut12 years ago 31b2346Merge https://github.com/idris-lang/Idris-devstepcut12 years ago fd586f0Don't set CC if it has already been setNiklas Larsson13 years ago 035d0a9fixups for HAS_PTHREAD changesstepcut13 years ago c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut13 years ago d6b1930* Use cc as C compiler, instead of hardcoding gcc. * Do not use -isystem (not needed, and breaks building the runtime with clang) * Make clang happier when building the runtimeHannes Mehnert13 years ago b23ac6eSupport for FreeBSDHannes Mehnert13 years ago 58bb8e0Take CFLAGS from environment in MakefilesBenjamin Saunders13 years ago c5d5884Remove Java RTS build in favor of the version hosted on Maven CentralJan Bessai13 years ago ecd9eadMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen14 years ago 1f2e714OS detection in config.mk without using unameDavid Christiansen14 years ago f8fcd92Build RTS as shared libraryDavid Christiansen14 years ago 6440a7bRepaired effects library, less attacks in applyTacticJan Bessai14 years ago b68a1a7Flag to disable effectsJan Bessai14 years ago 42fc6d2Make no java default compilation methodEdwin Brady14 years ago c9d32afChange NoJava flag to Java, and make no java back end the defaultEdwin Brady14 years ago 1b46872Added compile flag support to deactivate creation of the java backendJan Bessai14 years ago 3bfe418Refactor the makefile so that all the pertinent variables are in config.mkJason Dagit14 years ago