Idris-dev/config.mk
2015-05-21 16:52:00 +01:00

44 lines
927 B
Makefile

CC ?=cc
AR ?=ar
RANLIB ?=ranlib
CABAL :=cabal
# IDRIS_ENABLE_STATS should not be set in final release
# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
CFLAGS :=-O2 -Wall -DHAS_PTHREAD -DIDRIS_ENABLE_STATS $(CFLAGS)
#CABALFLAGS :=
## Disable building of Effects
#CABALFLAGS :=-f NoEffects
ifneq (, $(findstring bsd, $(MACHINE)))
GMP_INCLUDE_DIR :=
else
GMP_INCLUDE_DIR :=-I/usr/local/include
endif
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