summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Jimmy Tang <jtang@tchpc.tcd.ie>2012-06-18 09:20:35 +0100
committerGravatar Joey Hess <joey@kitenet.net>2012-06-18 10:09:13 -0400
commit89f6f820bf4aefada124219ff53509db0c85bee7 (patch)
treebc8cb69d737dc2764e37431ff9690b6d45120701 /Makefile
parent762b67c163b4e6d836caa09e0b7ad6404d57b615 (diff)
Teach _Makefile_ to only do _-DWITH_INOTIFY_ when on a Linux machine.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6d36e8b8b..8884b5c64 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,12 @@
+OS:=$(shell uname | sed 's/[-_].*//')
+
+ifeq ($(OS),Linux)
+BASEFLAGS_OPTS+=-DWITH_INOTIFY
+endif
+
PREFIX=/usr
IGNORE=-ignore-package monads-fd -ignore-package monads-tf
-BASEFLAGS=-Wall $(IGNORE) -outputdir tmp -IUtility -DWITH_S3 -DWITH_INOTIFY
+BASEFLAGS=-Wall $(IGNORE) -outputdir tmp -IUtility -DWITH_S3 $(BASEFLAGS_OPTS)
GHCFLAGS=-O2 $(BASEFLAGS)
ifdef PROFILE