[MLton] MLton: A few questions

Ville Laurikari ville at laurikari.net
Thu Apr 2 08:14:16 PST 2009

On Thu, Apr 02, 2009 at 01:01:18PM +0200, emil artin wrote:
> > what do you think you stand to gain from compiling with xlc instead of GCC?
> I'm not in a position to argue about it from technical point of view.
> That was for me just a matter of choice and feasibility.
> In the past I had serious problems with gcc on AIX getting
> segmentation fautlt on diverse occasions. On the other hand,
> I believe (that is just my feeling:-)) that the "native" compiler
> of a vendor offers you a better support.

OK, I can understand that.

We haven't had problems with GCC on AIX; we're using GCC 4.2.2 at the
moment.  So if you want to build something with MLton on AIX and want
to get a stable solution in place quickly, I'd say go with GCC.

On the other hand, if you just want to have some fun with it and hack
it, go ahead :)

> After modifying bin/mlton-script and executing "gmake all-no-docs CPPFLAGS=-I/home/emil/local/include"
> I get now (or to put it more precisely as before) the following errors:
> -----------------------------------------------------------------------
> ....
> Type checking ckit-lib library.
> Type checking cml library.
> Type checking mlrisc-lib library.
> Type checking mlnlffi-lib library.
> Type checking mlyacc-lib library.
> Type checking smlnj-lib library.
> gmake -C "mllex"
> gmake[2]: Entering directory `/tmp/mlton-svn-20090329/mllex'
> Compiling mllex
> "mlton" -target self mllex.mlb
> ld: 0711-224 WARNING: Duplicate symbol: .fesetround
> ld: 0711-224 WARNING: Duplicate symbol: .fegetround
> ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
> ld: 0711-317 ERROR: Undefined symbol: .gdtoa__strtof
> ld: 0711-317 ERROR: Undefined symbol: .gdtoa__gdtoa
> ld: 0711-317 ERROR: Undefined symbol: .gdtoa__strtord
> ld: 0711-317 ERROR: Undefined symbol: .gdtoa__strtorf
> collect2: ld returned 8 exit status
> call to system failed with exit status 1:
> gcc -o mllex /tmp/filefaIyWT.o /tmp/fileZmQ1qQ.o /tmp/filetqgDpx.o /tmp/file5BK6di.o /tmp/filesgBvKj.o /tmp/fileM1RWOo.o -L/tmp/mlton-svn-20090329/build/lib/self -lmlton -lgdtoa -L/home/emil/local/lib -lm -lgmp -maix64
> gmake[2]: *** [mllex] Error 1
> gmake[2]: Leaving directory `/tmp/mlton-svn-20090329/mllex'
> gmake[1]: *** [tools] Error 2
> gmake[1]: Leaving directory `/tmp/mlton-svn-20090329'
> gmake: *** [all-no-docs] Error 2
> -----------------------------------------------------------------------
> Any idea?
> Did you proceed to compile mlton in the same way as I did it now?

It builds fine for me.

I'm not getting the warnings.  Note that I'm still using AIX 5.2,
which is by now very old.  I've never tried to build on 5.3 or 6.1.
What AIX version are you using?

The errors about missing gdtoa symbols are strange.  Can you send the
entire build log?  It's impossible to guess what could be going wrong
with the information I have now,


More information about the MLton mailing list