In article <20000201164753.C24225@theory.cs.uni-bonn.de>, Ignatios Souvatzis <ignatios@cs.uni-bonn.de> writes: > Yes, I rechecked after makeing clean right now to be sure. Do you set any special options like e.g "CXXFLAGS" in your "/etc/mk.conf" or environment? Kind regards -- Matthias Scheler http://www.sighardstrasse.de/~tron/