From 5eb325f067c58ce40f4676cb367c1881bd57d924 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Thu, 15 May 2008 12:59:14 +0200 Subject: [PATCH] Polished configuration scripts. --- Makefile | 3 +++ TODO | 1 + default.cfg | 3 +++ lib/default.cfg | 2 +- 4 files changed, 8 insertions(+), 1 deletion(-) 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. -- 2.39.5