[MLton-devel] Profiling under FreeBSD?

jlouis@diku.dk jlouis@diku.dk
Sun, 22 Sep 2002 00:58:21 +0200


Is the profiling working under FreeBSD yet. I bootstrapped the compiler
from smlnj, but when I try to do profiles I get a lot of undefined
symbols in the linker phase:

sarah% mlton -profile true checksum.sml
/tmp/fileLupSBe.o: In function
`MLtonProfile52$$0æxit_0$$1.L_76$$2.L_76$$Begin':
/tmp/fileLupSBe.o(]ext+0x485): undefined reference to
`MLton_Profile_Data_write'
/tmp/fileLupSBe.o: In function
`MLtonProfile57$$0æxit_0$$1.L_61$$2.L_61$$Begin':
/tmp/fileLupSBe.o(]ext+0x4c2): undefined reference to
`MLton_Profile_Data_free'
/tmp/fileLupSBe.o: In function
`MLtonProfile240$$0.main_0$$1.L_101$$2.L_194$$Begin':
/tmp/fileLupSBe.o(]ext+0x1083): undefined reference to
`MLton_Profile_init'
/tmp/fileLupSBe.o: In function
`MLtonProfile241$$0.main_0$$1.L_101$$2.L_201$$Begin':
/tmp/fileLupSBe.o(]ext+0x1088): undefined reference to
`MLton_Profile_Data_malloc'
/tmp/fileLupSBe.o: In function
`MLtonProfile242$$0.main_0$$1.L_101$$2.L_200$$Begin':
/tmp/fileLupSBe.o(]ext+0x10d2): undefined reference to
`MLton_Profile_setCurrent'
/tmp/fileLupSBe.o: In function
`MLtonProfile243$$0.main_0$$1.L_101$$2.L_199$$Begin':
/tmp/fileLupSBe.o(]ext+0x10da): undefined reference to
`MLton_Profile_installHandler'
mlton: call to system failed: gcc -o checksum /tmp/file5ivILK.o
/tmp/fileLupSBe.o -L/home/jlouis/mlton/lib/mlton/self -lmlton -lm -lgmp

Since I have absolutely no clue of what is going on yet, this is
something I would like to ask the audience about.

2nd question: Am I right about MLton using a stop-n-copy GC?

-- 
Jesper
 A friend of the daemon is a friend of mine


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel