idris-0.9.8: config.mk

GMP_INCLUDE_DIR :=
CC              :=gcc
CABAL           :=cabal
#CABALFLAGS	:=
## Enable Java RTS:
#CABALFLAGS    :=-f Java
## Disable building of Effects
#CABALFLAGS :=-f NoEffects


MACHINE         := $(shell $(CC) -dumpmachine)
ifneq (, $(findstring darwin, $(MACHINE)))
	OS      :=darwin
else
ifneq (, $(findstring cygwin, $(MACHINE)))
	OS      :=windows
else
ifneq (, $(findstring mingw, $(MACHINE)))
	OS      :=windows
else
	OS      :=unix
endif
endif
endif

ifeq ($(OS),darwin)
	SHLIB_SUFFIX    :=.dylib
else
ifeq ($(OS),windows)
	SHLIB_SUFFIX    :=.DLL
else
	SHLIB_SUFFIX    :=.so
endif
endif