]> mj.ucw.cz Git - moe.git/blobdiff - Makefile
TomGav's TODO list.
[moe.git] / Makefile
index e183f4c8be3b89bb2f60ba4320091b3ea1bec947..a9e357236156d0376d251390e1f3ee4b2876377e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 VERSION=1.0.99-20080220
 
 # The default target
-all: runtree programs datafiles
+all: runtree programs datafiles configs
 
 # Include configuration
 s=.
@@ -27,7 +27,10 @@ include $(s)/box/Makefile
 include $(s)/utils/Makefile
 include $(s)/eval/Makefile
 include $(s)/judge/Makefile
+
+ifdef CONFIG_SUBMIT
 include $(s)/submit/Makefile
+endif
 
 # And finally the default rules of the build system
 include $(s)/build/Makebottom