diff options
| author |  Jimmy Tang <jtang@tchpc.tcd.ie> | 2012-06-18 09:20:35 +0100 |
|---|---|---|
| committer |  Joey Hess <joey@kitenet.net> | 2012-06-18 10:09:13 -0400 |
| commit | 89f6f820bf4aefada124219ff53509db0c85bee7 (patch) | |
| tree | bc8cb69d737dc2764e37431ff9690b6d45120701 | |
| parent | 762b67c163b4e6d836caa09e0b7ad6404d57b615 (diff) | |
Teach _Makefile_ to only do _-DWITH_INOTIFY_ when on a Linux machine.
| -rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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 |