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