summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-13 21:03:56 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-13 21:03:56 +0000
commit5a480fac520db1bab6f1336bee9b2031dbd36cab (patch)
tree01210f87844268c0652867df51f4831094fa3e17 /src/Makefile
parent9f867c4922cccb6e61b273a55103e2afaeac4bde (diff)
Added semi-working speech_input command.
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile
index d011cd636..b59ff6676 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -48,6 +48,10 @@ ifeq ("$(INTERRUPT)","yes")
GHCFLAGS += -DUSE_INTERRUPT
endif
+ifeq ("$(ATK)","yes")
+ GHCFLAGS += -DUSE_ATK
+endif
+
ifeq ("$(ENABLE_JAVA)", "yes")
BUILD_JAR=jar
else