[MLton-user] experimental release 20051109
Stephen Weeks
sweeks@sweeks.com
Sun, 13 Nov 2005 13:08:29 -0800
> Trying to compile a program with profiling enabled produced the
> following error:
>
> <jhr@moby> mlton -profile time -output prt.prof prtsim.mlb
> /var/tmp//ccKO2ZxO.s:2047:FATAL:Symbol _MLtonProfile359 already defined.
> call to system failed with exit status 1:
> gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 -fno-strict-
> aliasing -fomit-frame-pointer -w -I/sw/include -o /tmp/fileI9Y1IR.o /
> tmp/filexFJ5cY.6.c
Hmm. The code compiled fine on my MacOSX machine using MLton 20051109
with -profile time. The log is below. I don't have any idea why we
would see different generated code. Could you compile with -keep g
and send me a tgz with the generated C code (prtsim.[0-6].c)? Also,
would you please send a log of the compile with -verbose 1.
----------------------------------------------------------------------
prt% mlton -verbose 1 -output prt.prof -profile time prtsim.mlb
MLton 20051109 (built Wed Nov 09 15:02:57 2005 on darwin.sweeks.com)
MLton starting
Compile SML starting
pre codegen starting
pre codegen finished in 21.09 + 9.66 (31% GC)
C code gen starting
C code gen finished in 0.54 + 0.00 (0% GC)
Compile SML finished in 21.63 + 9.66 (31% GC)
Compile C and Assemble starting
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileI9Y1IR.o /tmp/filexFJ5cY.6.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileOTwzB7.o /tmp/fileEpqF1n.5.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileFDHk89.o /tmp/file8rqcS5.4.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileY663C1.o /tmp/fileiJAUQP.3.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileuXtCMJ.o /tmp/fileTBgHT9.2.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileKddlIX.o /tmp/fileRu8V4o.1.c
gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
-fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
/tmp/fileNSmrDm.o /tmp/file0VMCkN.0.c
Compile C and Assemble finished in 32.53 + 0.02 (0% GC)
Link starting
gcc -std=gnu99 -o prt.prof /tmp/fileI9Y1IR.o /tmp/fileOTwzB7.o \
/tmp/fileFDHk89.o /tmp/fileY663C1.o /tmp/fileuXtCMJ.o \
/tmp/fileKddlIX.o /tmp/fileNSmrDm.o -L/usr/local/lib/mlton/self \
-lmlton -lgmp -lgdtoa -lm
Link finished in 0.23 + 0.00 (0% GC)
MLton finished in 54.72 + 10.23 (16% GC)