Wow, that's annoying. That does seem to be the issue. Adding the following to my .profile cleared it up:
export DYLD_INSERT_LIBRARIES=/System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation a On 2 July 2012 20:02, David Matthews <[email protected]> wrote: > On 02/07/2012 19:50, Aleks Kissinger wrote: >> >> $ gdb --args poly --use test.ML >> .... >> .... >> val lib = ?: dylib >> val diff = fn: int * int -> int >> Reading symbols for shared libraries ...................... done >> >> Program received signal SIGTRAP, Trace/breakpoint trap. >> [Switching to process 75853 thread 0x1703] >> 0x00007fff8619cedf in __CFInitialize () > > > Right, well a quick check with Google turned up this: > http://stackoverflow.com/questions/3414523/debugging-a-crash-when-a-library-is-opened-via-dlopen-on-osx > > which references: > http://openradar.appspot.com/7209349 > > Apparently it's all to do with the CoreFoundation library. The second > reference gives a couple of possible work-arounds. I'm afraid that things > like this seem to happen with Mac OS. > > Regards, > > David > > > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
