MLTon install/compile problems...

[Stephen Weeks]

> 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:
...
> if /bin/sh -c 'install-info --version' >/dev/null 2>&1; then \
>   install-info
> =
--dir-file=3D/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gm=
p-2.0.2/../gmp-stuff/info/dir
> =
/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/gmp-2.0.2/../gm=
p-stuff/info/gmp.info;
> \
>   else true; fi
> install-info: unknown option
> =
`--dir-file=3D/usr/local/devtools/ML/MLTon/mlton-1999-7-12/src/runtime/g=
mp-2.0.2/../gmp-stuff/info/dir'
> usage: install-info [--version] [--help] [--debug] [--maxwidth=3Dnnn]
>              [--section regexp title] [--infodir=3Dxxx] =
[--align=3Dnnn]
>              [--calign=3Dnnn] [--quiet] [--menuentry=3Dxxx] =
[--info-dir=3Dxxx]
>              [--keep-old] [--description=3Dxxx] [--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
>=20
>=20
>=20
> It might be my system setup (texinfo or something?) - or is this
> a known problem?

We haven't seen this before. That installing the info files failed
shouldn't matter, as long as lib/libgmp.a was built.  Assuming so, I
would just run make again and let it continue.  FYI, here is the
version of install-info on my machine

% install-info --version
install-info (GNU texinfo) 3.12f

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

There was a post to comp.lang.ml a while back where someone had built
RPMs for MLton.  I tried them out and they seemed to work.  I just
checked the ftp site and they are gone, but I had saved a copy.  I put
the binary rpm at
	http://www.star-lab.com/sweeks/mlton-19990712-1.i386.rpm
Anyways, here is the message from the guy that built them.

> From: Jose Romildo Malaquias <romildo@urano.iceb.ufop.br>
> To: MLton@research.nj.nec.com
> Cc: comp-lang-ml@cs.cmu.edu, mlton-discuss@research.nj.nec.com
> Subject: [ANNOUNCE] RPM packages for mlton-1997-7-12
> Date: Fri, 20 Aug 1999 10:05:45 -0300
>=20
> I have prepared RPM packages for MLton version 1999-7-12.
> They are available temporarily at
>=20
>         ftp://urano.iceb.ufop.br/pub/smlnj
>=20
> The binary package was compiled on a RedHat Linux 6.0
> (linux 2.5, glibc 2.1, egcs 1.1.2).
>=20
> Prof. Jos=E9 Romildo Malaquias
> Departamento de Computa=E7=E3o
> Universidade Federal de Ouro Preto
> Brasil