git.iko.soy/Idris-dev
on master help sign in
OS detection in config.mk without using uname
1f2e714David Christiansen
config.mk+25−3
compare with master
unifiedsplit
@@ -1,9 +1,31 @@
1GMP_INCLUDE_DIR :=
1GMP_INCLUDE_DIR :=
2CC :=gcc
2CC :=gcc
3−SHLIB_SUFFIX :=.so
4−# Mac OS X: SHLIB_SUFFIX :=.dylib
5−# Windows: SHLIB_SUFFIX :=.DLL
6CABAL :=cabal
3CABAL :=cabal
7CABALFLAGS :=
4CABALFLAGS :=
8## Enable Java RTS:
5## Enable Java RTS:
9#CABALFLAGS :=-f Java
6#CABALFLAGS :=-f Java
7+
8+MACHINE := $(shell $(CC) -dumpmachine)
9+ifneq (, $(findstring darwin, $(MACHINE)))
10+ OS :=darwin
11+else
12+ifneq (, $(findstring cygwin, $(MACHINE)))
13+ OS :=windows
14+else
15+ifneq (, $(findstring mingw, $(MACHINE)))
16+ OS :=windows
17+else
18+ OS :=unix
19+endif
20+endif
21+endif
22+
23+ifeq ($(OS),darwin)
24+ SHLIB_SUFFIX :=.dylib
25+else
26+ifeq ($(OS),windows)
27+ SHLIB_SUFFIX :=.DLL
28+else
29+ SHLIB_SUFFIX :=.so
30+endif
31+endif