Hi,
I'm an OS X newbie and I'm trying to compile Moscow ML 2.01 on OS X 10.3
with XCode 1.5. Fink unstable contains these package, too, but without
supporting dynamic link libraries in mosml. Alas, I need that feature
because I want to run the HOL4 theorem prover on top of mosml.
With the documentation available online I wasn't able to successfully build
a dynamic library that I can load in mosml.
The libraries are loaded by the executable camlrunm (with dlopen). It seems
that the fink dlcompat is not necessary - 10.3 seems to come with
dlopen/dlcompat onboard. In the makefile, I've replaced
DYNLD=ld -shared
with
DYNLD=gcc -bundle -bundle_loader ${MOSMLHOME}/bin/camlrunmbut when I try to compile the dynamic libary I get the error message: gcc -bundle -bundle_loader /Users/georg/fm/mosml/camlrunm -o libmregex.so regex-0.12/regex.o mregex.o ld: Undefined symbols: _alloc _alloc_final _alloc_tuple _c_roots_head _failwith _first_atoms _modify _string_length though the functions alloc, alloc_final, alloc_tuple are in alloc.c which is compiled to alloc.o and linked (with some other object files) to camlrunm. When I omit the -bundle_loader option and use -flat_namespace -undefined suppress I get a similar error message when the libary is actually loaded: "dlcompat: dyld: /Users/georg/fm/mosml/bin/camlrun Undefined symbols:\n_alloc etc..." I know this must be a pretty annoying question for you, since it's probably very basic, but I don't know where else to ask. -- NEU +++ DSL Komplett von GMX +++ http://www.gmx.net/de/go/dsl GMX DSL-Netzanschluss + Tarif zum superg�nstigen Komplett-Preis! ------------------------------------------------------- This SF.Net email is sponsored by: Sybase ASE Linux Express Edition - download now for FREE LinuxWorld Reader's Choice Award Winner for best database on Linux. http://ads.osdn.com/?ad_id=5588&alloc_id=12065&op=click _______________________________________________ Fink-devel mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/fink-devel
