configure revision fe9baad546e7e1a5bb3038daab1c6c9b6bad2940
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner# From configure.in Revision: 1.338 .
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski# Guess values for system-dependent variables and create Makefiles.
d5fe06af711a6912ae028ebf873eada4ee8733f8Christian Maeder# Generated by GNU Autoconf 2.53.