On 02/07/2012 17:30, Aleks Kissinger wrote:
Argh, sorry to spam. It seems Carbon is a red herring. poly/CInterface
seems to crash when the code is linking *any* framework via the
"-framework XXX" option to gcc.
But these cause poly to receive a SIGKILL:
$ gcc -c diff.c
$ gcc -framework Carbon -shared diff.o -o libdiff.so
$ poly --use test.ML
...
val lib = ?: dylib
val diff = fn: int * int -> int
[1] 64760 killed poly --use test.ML
Have you tried running this with gdb? It would probably be best to
build poly for debugging first:
make distclean
./configure --enable-debug --disable-shared
make
If you manage to get a trace I may be able to make some sense of it.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
