Simon Marlow wrote:

That's strange, configure is supposed to emit the error only if config.guess fails.

maeder@davinci -> ./config.guess ./config.guess: line 844: dummy-5901.c: Keine Berechtigung ./config.guess: line 1: dummy-5901.c: Keine Berechtigung ./config.guess: line 1105: dummy-5901.c: Keine Berechtigung ./config.guess: unable to guess system type

Keine Berechtigung == No authorization (according to babel fish). You wouldn't perchance be trying to configure in a tree you don't have write access to, would you?

Yes, since ownership changed I don't have write permission. But I could reproduce the original output below (because the same problem occurred when installing hugs). Oddly, other users here get "i686-pc-linu-gnu". maeder@davinci -> ./config.guess ./config.guess: unable to guess system type This script, last modified 2001-07-09, has failed to recognize the operating system you are using. It is advised that you download the most up to date version of the config scripts from ftp://ftp.gnu.org/pub/gnu/config/ If the version you run (./config.guess) is already up to date, please send the following data and any information you think might be pertinent to <config-patches@gnu.org> in order to provide the needed information to handle your system. config.guess timestamp = 2001-07-09 uname -m = i686 uname -r = 2.4.19-4GB uname -s = Linux uname -v = #2 Mon Dec 9 11:21:22 CET 2002 /usr/bin/uname -p = /bin/uname -X = hostinfo = /bin/universe = /usr/bin/arch -k = /bin/arch = i686 /usr/bin/oslevel = /usr/convex/getsysinfo = UNAME_MACHINE = i686 UNAME_RELEASE = 2.4.19-4GB UNAME_SYSTEM = Linux UNAME_VERSION = #2 Mon Dec 9 11:21:22 CET 2002