hugs makefiles and Debian

[Ross Paterson]

On Wed, Feb 12, 2003 at 10:04:23PM -0500, Isaac Jones wrote:
> I still seem to have this problem: during the installation section of
> the build, ffihugs is looking in /usr/share for the libraries it
> thinks it just installed (Actually, it just installed them in
> DESTDIR).

The following steps work for me (running Debian testing), with no
alteration to any of the distributed files:

tar zxf hugs98-Nov2002.tar.gz
cd hugs98-Nov2002
rootdir=`pwd`/debian/tmp/hugs
cd src/unix
./configure --prefix=${rootdir}/usr --enable-ffi
cd ..
HUGSDIR=${rootdir}/usr/lib/hugs make CFLAGS+=-DHUGSDIR='\"/usr/lib/hugs\"' install

Notes:
- the --prefix gets things put where you want them.
- the environment variable HUGSDIR tells ffihugs where to look for files
  during the make.
- the CPP define HUGSDIR tells hugs, runhugs and ffihugs where to look
  for files (unless the environment variable is set when they run).
- Hugs installs its libraries in ${prefix}/lib, because it mixes object
  files in with the modules (a bad idea, but not trivial to fix)