Hello all, after using polyml on my windows machine I decided to install it on our dept linux system, and seem to be doing something wrong (as usual!).

I downloaded the gzipped tarred archive. When I try to start it I type poly ML_dbase

Then I get the following message:

Poly/ML RTS version I386-4.1.2 (14:43:27 Jan 15 2002) Copyright (c) 2002 CUTS and contributors. Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%) Segmentation fault

I also downloaded the driver source and built poly with gcc 2.95.4 and glibc 2.2.5. I downloaded the i386 database by itself. Using these files gives the same result.

Can anyone suggest what I should be doing here? Thanks, John