# $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"