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 David.Matthews@prolingua.co.uk 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-...
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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml