Newbie question, installing hugs on redhat 7.2

Alastair Reid
19 Aug 2002 12:33:41 +0100

> Does anyone know a workaround for this, or please tell me if I'm
> just doing something stupid.

It sounds like there's a problem in the RPM package since Hugs itself
isn't that fussy.  You could install Hugs from source yourself.

1) Download the tarfile from
2) Untar it
3) cd hugs98/src/unix
   ./configure --prefix=$HOME --with-readline
   cd ..
   make install

This should significantly less than 5 minutes.

Alastair Reid         
Reid Consulting (UK) Limited