crap, rebuilding using this patch, which is PR6038 with 2 rejected hunks applied by hands on a total of 3 rejects.

native compiler works, but with the same segfault.

gcc on osx 10.8 is now clang :

philou@air:~/src/ML$ gcc -v

Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/usr/include/c++/4.2.1

Apple LLVM version 5.0 (clang-500.2.79) (based on LLVM 3.3svn)

Target: x86_64-apple-darwin12.5.0

Thread model: posix

I use gnu gcc-4.8.2 of macports for building some other and custom bindings, could it be the culprit, mixing both?

still the same stack trace ending on caml_alloc_shr :

Code Type: X86-64 (Native)

Parent Process: sh [83369]

User ID: 501

Date/Time: 2013-11-25 19:55:31.700 +0100

OS Version: Mac OS X 10.8.5 (12F45)

Report Version: 10

Crashed Thread: 0 Dispatch queue: com.apple.main-thread

Exception Type: EXC_BAD_ACCESS (SIGSEGV)

Exception Codes: EXC_I386_GPFLT

Thread 0 Crashed:: Dispatch queue: com.apple.main-thread

0 straightliner.opt 0x000000010604eeb2 caml_alloc_shr + 434

1 straightliner.opt 0x000000010604f27b caml_alloc + 203

2 straightliner.opt 0x0000000106053b1a caml_make_vect + 218

3 straightliner.opt 0x0000000105f95617 .L402 + 19

4 ??? 0x0000000107fca9c0 0 + 4428966336

Thread 1:

0 libsystem_kernel.dylib 0x00007fff972dc6d6 __workq_kernreturn + 10

1 libsystem_c.dylib 0x00007fff931b0f1c _pthread_workq_return + 25

2 libsystem_c.dylib 0x00007fff931b0ce3 _pthread_wqthread + 412

3 libsystem_c.dylib 0x00007fff9319b191 start_wqthread + 13

The list of modules used by this project :

gnuplot sndfile bigarray lacaml fftw3 lablgtk2 lablgtk2.auto-init cairo.lablgtk2 plplot plcairo react bolt batteries

The configure of ocaml-4.01.1 patched, seems fine.

I guess I need your help ! :

% Total % Received % Xferd Average Speed Time Time Time Current

Dload Upload Total Spent Left Speed

^M 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0^M 1 4294k 1 46085 0 0 304k 0 0:00:14 --:--:-- 0:00:14 308k^M 17 4294k 17 733k 0 0 638k 0 0:00:06 0:00:01 0:00:05 639k^M 32 4294k 32 1395k 0 0 649k 0 0:00:06 0:00:02 0:00:04 649k^M 47 4294k 47 2057k 0 0 653k 0 0:00:06 0:00:03 0:00:03 653k^M 63 4294k 63 2720k 0 0 655k 0 0:00:06 0:00:04 0:00:02 655k^M 78 4294k 78 3382k 0 0 656k 0 0:00:06 0:00:05 0:00:01 667k^M 94 4294k 94 4043k 0 0 657k 0 0:00:06 0:00:06 --:--:-- 662k^M100 4294k 100 4294k 0 0 656k 0 0:00:06 0:00:06 --:--:-- 660k

200 % Total % Received % Xferd Average Speed Time Time Time Current

Dload Upload Total Spent Left Speed

^M 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0^M100 36686 100 36686 0 0 145k 0 --:--:-- --:--:-- --:--:-- 286k

200patching file Makefile

patching file Makefile.nt

patching file asmcomp/i386/arch.ml

patching file asmrun/backtrace.c

patching file asmrun/fail.c

patching file asmrun/i386.S

patching file asmrun/signals_asm.c

patching file asmrun/stack.h

patching file byterun/alloc.c

patching file byterun/config.h

patching file byterun/fail.c

patching file byterun/floats.c

patching file byterun/ints.c

patching file byterun/memory.c

patching file byterun/misc.h

patching file byterun/terminfo.c

patching file configure

patching file otherlibs/graph/open.c

patching file otherlibs/graph/subwindow.c

patching file otherlibs/num/nat_stubs.c

patching file otherlibs/systhreads/st_posix.h

patching file otherlibs/systhreads/st_win32.h

patching file otherlibs/threads/scheduler.c

patching file otherlibs/win32unix/createprocess.c

patching file testsuite/tests/basic-manyargs/manyargsprim.c

patching file testsuite/tests/callback/callbackprim.c

patching file testsuite/tests/gc-roots/globrootsprim.c

patching file testsuite/tests/lib-bigarray-2/bigarrfstub.c

patching file testsuite/tests/lib-dynlink-bytecode/stub1.c

patching file testsuite/tests/lib-dynlink-bytecode/stub2.c

patching file testsuite/tests/lib-dynlink-native/factorial.c

patching file testsuite/tests/lib-marshal/intextaux.c

patching file utils/config.mli

patching file utils/config.mlp

Configuring for a x86_64-apple-darwin12.5.0 ...

gcc found

The C compiler is ANSI-compliant.

Checking the sizes of integers and pointers...

Wow! A 64 bit architecture!

This is a little-endian architecture.

Doubles can be word-aligned.

64-bit integers can be word-aligned.

Native division and modulus have round-towards-zero semantics,

will use them.

ranlib found

#! appears to work in shell scripts

POSIX signal handling found.

expm1(), log1p(), hypot(), copysign() found.

getrusage() found.times() found.

termcap functions found (with libraries '-lcurses')

You have BSD sockets.

socklen_t is defined in <sys/socket.h>

inet_aton() found.

IPv6 is supported.

unistd.h found.

off_t is defined in <sys/types.h>

dirent.h found.

rewinddir() found.

lockf() found.

mkfifo() found.

getcwd() found.

getwd() found.

getpriority() found.

utime() found.

utimes() found.

dup2() found.

fchmod() found.

truncate() found.

sys/select.h found.

select() found.

symlink() found.

waitpid() found.

wait4() found.

getgroups() found.

setgroups() found.

initgroups() found.

POSIX termios found.

Asynchronous I/O are supported.

setitimer() found.

gethostname() found.

uname() found.

gettimeofday() found.

mktime() found.

setsid() found.

putenv() found.

setlocale() and <locale.h> found.

dlopen() found.

Dynamic loading of shared libraries is supported.

mmap() found.

pwrite() found

Replay debugger supported.

System stack overflow can be detected.

POSIX threads library supported.

Options for linking with POSIX threads: -lpthread

sigwait() found

Bytecode threads library supported.

X11 works

Options for compiling for X11: -I/opt/local/include

Options for linking with X11: -L/opt/local/lib -lX11

Configuring LablTk...

tcl.h and tk.h version 8.6 found with "".

Tcl library not found.

Configuration failed, LablTk will not be built.

BFD library not found, 'objinfo' will be unable to display info on .cmxs files

Assembler supports CFI

** Configuration summary **

Directories where OCaml will be installed:

binaries.................. /Users/philou/.opam/4.01.0/bin

standard library.......... /Users/philou/.opam/4.01.0/lib/ocaml

manual pages.............. /Users/philou/.opam/4.01.0/man (with extension .1)

Configuration for the bytecode compiler:

C compiler used........... gcc

options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT

options for linking....... -lcurses -lpthread

shared libraries are supported

options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT

command for building...... gcc -bundle -flat_namespace -undefined suppress -Wl,-no_compact_unwind -o lib.so /a/path objs

Configuration for the native-code compiler:

hardware architecture..... amd64

OS variant................ macosx

C compiler used........... gcc

options for compiling..... -D_FILE_OFFSET_BITS=64 -D_REENTRANT

options for linking.......

assembler ................ clang -arch x86_64 -c

preprocessed assembler ... clang -arch x86_64 -c

assembler supports CFI ... yes

with frame pointers....... no

native dynlink ........... true

profiling with gprof ..... supported

Source-level replay debugger: supported

Debug runtime will be compiled and installed

Additional libraries supported:

unix str num dynlink bigarray systhreads threads graph

Configuration for the "num" library:

target architecture ...... amd64 (asm level 1)

Configuration for the "graph" library:

options for compiling .... -I/opt/local/include

options for linking ...... -L/opt/local/lib -lX11

The "labltk" library: not supported

** OCaml configuration completed successfully **

Building, I'm getting tons of : clang: warning: argument unused during compilation: '-fno-defer-pop'

gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o interp.o interp.c