Added command-line clients for remote submit and status.

[eval.git] / config

diff --git a/config b/config
index 138bb8b3ef958bdda2844f91b996bc5576a3f90f..ed45c19584e83bb4a6182e8ae95bbd38fa5e1389 100644 (file)
--- a/config
+++ b/config
@@ -31,7 +31,7 @@ CT_USER_LIST=userlist
 ## Compiler settings:
 
 # Known source file extensions
-EXTENSIONS="c C cpp p pas"
+EXTENSIONS="c cc C cpp p pas"
 
 # Extra compiler flags for C (null, but can be overriden)
 EXTRA_CFLAGS=
@@ -40,10 +40,11 @@ EXTRA_CFLAGS=
 EXTRA_PFLAGS=
 
 # For each source extension, we must give compiler command
-COMP_c='/usr/bin/gcc -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
+COMP_c='/usr/bin/gcc -std=gnu99 -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
 COMP_C='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
 COMP_cpp="$COMP_C"
-COMP_p='/usr/bin/fpc -Ci -Cr -g -O2 -So -Sg -o$EXE $EXTRA_PFLAGS $SRC'
+COMP_cc="$COMP_C"
+COMP_p='/usr/bin/fpc -Ci -Cr -Ct -g -O2 -Sg -o$EXE $EXTRA_PFLAGS $SRC'
 COMP_pas="$COMP_p"
 
 # Sandbox options used when compiling