Makefile: Force SHELL to /bin/bash

[eval.git] / Makefile

diff --git a/Makefile b/Makefile
index 4b4794c36c6da95053d84dfbc5721e3db016064e..9adae4062025283cc9dceb10ba71c10dc896d89b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,11 @@
-# Makefile for MO-Eval
-# (c) 2008--2009 Martin Mares <mj@ucw.cz>
+# Makefile for Moe
+# (c) 2008--2012 Martin Mares <mj@ucw.cz>
 
-VERSION=1.0.99-20080220
+VERSION=2.0
+SHELL=/bin/bash
 
 # The default target
-all: runtree programs datafiles configs
+all:: runtree programs datafiles configs
 
 # Include configuration
 s=.
@@ -12,6 +13,10 @@ s=.
 obj/config.mk:
        @echo "You need to run configure first." && false
 
+ifdef CONFIG_DOC
+all:: docs
+endif
+
 # We will use the libucw build system
 BUILDSYS=$(s)/build
 include $(BUILDSYS)/Maketop
@@ -20,11 +25,14 @@ include $(BUILDSYS)/Maketop
 ifdef CONFIG_UCW_LIBS
 include $(s)/ucw/Makefile
 include $(s)/sherlock/Makefile
-# Disable built-in tests of these libraries
+# Disable built-in tests and documentation of these libraries
 TESTS=
+DOCS=
+DOC_INDICES=
 endif
 
 include $(s)/box/Makefile
+include $(s)/isolate/Makefile
 include $(s)/utils/Makefile
 include $(s)/eval/Makefile
 include $(s)/judge/Makefile