git.iko.soy/Idris-dev
on v0.9.15.1 help sign in
Idris-dev/config.mk
40 lines 880 B history raw
1CC ?=cc
2CABAL :=cabal
3# IDRIS_ENABLE_STATS should not be set in final release
4# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
5CFLAGS :=-O2 -Wall -DHAS_PTHREAD -DIDRIS_ENABLE_STATS $(CFLAGS)
7#CABALFLAGS :=
8## Disable building of Effects
9#CABALFLAGS :=-f NoEffects
11ifneq (, $(findstring bsd, $(MACHINE)))
12 GMP_INCLUDE_DIR :=
13else
14 GMP_INCLUDE_DIR :=-I/usr/local/include
15endif
17MACHINE := $(shell $(CC) -dumpmachine)
18ifneq (, $(findstring darwin, $(MACHINE)))
19 OS :=darwin
20else
21ifneq (, $(findstring cygwin, $(MACHINE)))
22 OS :=windows
23else
24ifneq (, $(findstring mingw, $(MACHINE)))
25 OS :=windows
26else
27 OS :=unix
28endif
29endif
30endif
32ifeq ($(OS),darwin)
33 SHLIB_SUFFIX :=.dylib
34else
35ifeq ($(OS),windows)
36 SHLIB_SUFFIX :=.DLL
37else
38 SHLIB_SUFFIX :=.so
39endif
40endif