[MLton-user] make errors when building mlton-20041109

[chen yang]

hi, all,  when I built mlton-20041109 under rd7.3, with gcc3.4.1, I met the
following errors:

make docs all-no-docs
make[1]: Entering directory `/usr/local/src/mlton-20041109'
mkdir -p /usr/local/src/mlton-20041109/build/bin
/usr/local/src/mlton-20041109/build/lib/self
/usr/local/src/mlton-20041109/build/lib/include
make -C /usr/local/src/mlton-20041109/doc/user-guide
make[2]: Entering directory `/usr/local/src/mlton-20041109/doc/user-guide'
latex main; bibtex main; latex main; latex main
This is TeX, Version 3.14159 (Web2C 7.4.5)
---! Must increase the trie size
(Fatal format file error; I'm stymied)
I couldn't open file name `main.aux'
This is TeX, Version 3.14159 (Web2C 7.4.5)
---! Must increase the trie size
(Fatal format file error; I'm stymied)
This is TeX, Version 3.14159 (Web2C 7.4.5)
---! Must increase the trie size
(Fatal format file error; I'm stymied)
make[2]: *** [main.dvi] Error 1
make[2]: Leaving directory `/usr/local/src/mlton-20041109/doc/user-guide'
make[1]: *** [docs] Error 2
make[1]: Leaving directory `/usr/local/src/mlton-20041109'
make: *** [all] Error 2

It looks like the incompatibility with my Latex. Thanks.

-Chen