Parts of local history.

[eval.git] / config

diff --git a/config b/config
index 3b37fced58c6745346766d8e1881946364a9eefd..ed45c19584e83bb4a6182e8ae95bbd38fa5e1389 100644 (file)
--- a/config
+++ b/config
@@ -40,11 +40,11 @@ EXTRA_CFLAGS=
 EXTRA_PFLAGS=
 
 # For each source extension, we must give compiler command
 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_cc="$COMP_C"
 COMP_C='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
 COMP_cpp="$COMP_C"
 COMP_cc="$COMP_C"

-COMP_p='/usr/bin/fpc -Ci -Cr -g -O2 -So -Sg -o$EXE $EXTRA_PFLAGS $SRC'
+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
 COMP_pas="$COMP_p"
 
 # Sandbox options used when compiling