gcc.opts

# $Id$

# options for gcc/g++
# remember to run ./autogen.sh after changing these values!

# name of compiler binaries
COMP="gcc-3.4"
CXXCOMP="g++-3.4"

# flags set in any case
FLAGS=""

# additional flags for debugging
DEBUGFLAGS="-g -DDUNE_ISTL_WITH_CHECKING"

# additional flags for optimization
OPTIMFLAGS="-O3"