On Fri, 25 Jul 2003, Thomas Grill wrote: > I issued ./configure and then edited the resulting makefile appropriately. > That makes my think that there must be a way for the right configure.in > script, too Of course there is a way ... I am going to take a look as soon as I find the time to do so. Guenter