git.iko.soy/Idris-dev
on d66da21 help sign in
Idris-dev/config.mk
38 lines 697 B history raw
1CC :=cc
2CABAL :=cabal
3CFLAGS :=-O2 -Wall $(CFLAGS)
4#CABALFLAGS :=
5## Disable building of Effects
6#CABALFLAGS :=-f NoEffects
8ifneq (, $(findstring bsd, $(MACHINE)))
9 GMP_INCLUDE_DIR :=
10else
11 GMP_INCLUDE_DIR :=-I/usr/local/include
12endif
14MACHINE := $(shell $(CC) -dumpmachine)
15ifneq (, $(findstring darwin, $(MACHINE)))
16 OS :=darwin
17else
18ifneq (, $(findstring cygwin, $(MACHINE)))
19 OS :=windows
20else
21ifneq (, $(findstring mingw, $(MACHINE)))
22 OS :=windows
23else
24 OS :=unix
25endif
26endif
27endif
29ifeq ($(OS),darwin)
30 SHLIB_SUFFIX :=.dylib
31else
32ifeq ($(OS),windows)
33 SHLIB_SUFFIX :=.DLL
34else
35 SHLIB_SUFFIX :=.so
36endif
37endif