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