From: Martin Mares <mj@ucw.cz>
Date: Thu, 15 May 2008 10:59:14 +0000 (+0200)
Subject: Polished configuration scripts.
X-Git-Tag: python-dummy-working~183
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=5eb325f067c58ce40f4676cb367c1881bd57d924;p=moe.git

Polished configuration scripts.
---

diff --git a/Makefile b/Makefile
index 226437e..a9e3572 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/TODO b/TODO
index 258ee52..272cd0a 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,7 @@
 New directory layout
 ~~~~~~~~~~~~~~~~~~~~
 mop/ and public/ are broken
+sync with main libucw repo
 
 Evaluator
 ~~~~~~~~~
diff --git a/default.cfg b/default.cfg
index 703863c..749fa10 100644
--- a/default.cfg
+++ b/default.cfg
@@ -1,5 +1,8 @@
 # Default configuration file for MO-Eval
 
+# Compile the submit server
+Set("CONFIG_SUBMIT" => 1);
+
 # Settings of libucw
 UnSet("CONFIG_SHARED");
 UnSet("CONFIG_UCW_THREADS");
diff --git a/lib/default.cfg b/lib/default.cfg
index ceb6d58..d61c2e9 100644
--- a/lib/default.cfg
+++ b/lib/default.cfg
@@ -19,7 +19,7 @@ UnSet("CONFIG_SHARED");
 # If your system doesn't contain GNU libc 2.3 or newer, it's recommended to let Sherlock
 # use its own regex library (a copy of the glibc one), because the default regex library
 # is likely to be crappy.
-Set("CONFIG_OWN_REGEX");
+UnSet("CONFIG_OWN_REGEX");
 
 # If your system can't reset getopt with 'optind = 0', you need to compile our internal copy
 # of GNU libc's getopt. This should not be necessary on GNU libc.