MLTon install/compile problems...

[ANOQ of the Sun]

Hello!


I have been trying to compile / install MLTon,
and I've got problems. I'm using a newly installed
gcc-95-1. When I go to src and type make I get
the following:

mv tmpdir/libgmp.a .
rm -rf tmpdir
cd .; for f in gmp.info*; \
do ./install.sh -c $f
/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gmp-stuff/info/$f;
done
chmod a-x
/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gmp-stuff/info/gmp.info*
# Attempt to edit the info directory node
if /bin/sh -c 'install-info --version' >/dev/null 2>&1; then \
  install-info
--dir-file=/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gmp-stuff/info/dir
/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gmp-stuff/info/gmp.info;
\
  else true; fi
install-info: unknown option
`--dir-file=/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gmp-stuff/info/dir'
usage: install-info [--version] [--help] [--debug] [--maxwidth=nnn]
             [--section regexp title] [--infodir=xxx] [--align=nnn]
             [--calign=nnn] [--quiet] [--menuentry=xxx] [--info-dir=xxx]
             [--keep-old] [--description=xxx] [--test] [--remove] [--]
             filename
make[2]: *** [install-info-files] Error 1
make[2]: Leaving directory
`/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2'
make[1]: *** [gmp] Error 2
make[1]: Leaving directory
`/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime'
make: *** [../lib/libmlton.a] Error 2



It might be my system setup (texinfo or something?) - or is this
a known problem?

Is there any way that I can "just" get the system up and running?


Cheers
-- 
http://www.HardcoreProcessing.com