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)