2 Jul
2012
2 Jul
'12
7:19 p.m.
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