From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 76A127EE6B for ; Mon, 25 Nov 2013 20:22:59 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of catseye.chandra@gmail.com) identity=pra; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="catseye.chandra@gmail.com"; x-sender="catseye.chandra@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of catseye.chandra@gmail.com designates 209.85.128.170 as permitted sender) identity=mailfrom; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="catseye.chandra@gmail.com"; x-sender="catseye.chandra@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ve0-f170.google.com) identity=helo; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="catseye.chandra@gmail.com"; x-sender="postmaster@mail-ve0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwDABOjk1LRVYCqlGdsb2JhbABZgkN8U7NaiE+BIwgWDgEBAQEHCwsJEiqCJQEBBAEaJgEbHgMBCwYFCwccCg4hAQERAQUBDg4Zh24BAwkGoTiMWYMJhDUKGScNZIc0AQUMjGyBJ28SDIQVA5YpgWuBMIsqg0wYKYRUO4E1 X-IPAS-Result: AtwDABOjk1LRVYCqlGdsb2JhbABZgkN8U7NaiE+BIwgWDgEBAQEHCwsJEiqCJQEBBAEaJgEbHgMBCwYFCwccCg4hAQERAQUBDg4Zh24BAwkGoTiMWYMJhDUKGScNZIc0AQUMjGyBJ28SDIQVA5YpgWuBMIsqg0wYKYRUO4E1 X-IronPort-AV: E=Sophos;i="4.93,769,1378850400"; d="scan'208";a="37850750" Received: from mail-ve0-f170.google.com ([209.85.128.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Nov 2013 20:22:58 +0100 Received: by mail-ve0-f170.google.com with SMTP id oy12so3356876veb.29 for ; Mon, 25 Nov 2013 11:22:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=zx7Q/FFjSqC71xEJA6JMLdD3Ksr2UiVCMalaHqxEIXY=; b=V59kLJ9xSYQpgPqXLwzLSCrgqFeNQRLHxh8eopfd0ra/6uRU7jwwo44zdd8Yu5TShV lptFiXXL6aoDgoo2MJyEghfapwiJP4aN+OopPb2tGKVK05wTbREla1u/TcSShUZP4eeE pYyVEBRdyZ6kmjBNYieZSfkSwlTOMLuMj8R5UqxreROtE+yWkR6UGAHb6jK5YY6pB8/4 6garlPo37ORj4xcSP0X8ygmFIwYvWzqv1yB7AGP6+OQtw57yKku1s9D4U81QEdJ7DNuu JtznxvwQ4KbqJwhnS8LBcYXUF32cIxdZjopu2oNafKuJho7uVWjtvYK2F4bisAAFEdPu TXcA== MIME-Version: 1.0 X-Received: by 10.52.98.99 with SMTP id eh3mr2259370vdb.29.1385407376727; Mon, 25 Nov 2013 11:22:56 -0800 (PST) Received: by 10.58.74.194 with HTTP; Mon, 25 Nov 2013 11:22:56 -0800 (PST) In-Reply-To: References: Date: Mon, 25 Nov 2013 20:22:56 +0100 Message-ID: From: Felipe Gonzalez To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf307f38888f2da304ec054ab9 Subject: Re: [Caml-list] plain sigsegv on osx 10.8 / opam 1.0.0 / ocaml 4.01.0 --20cf307f38888f2da304ec054ab9 Content-Type: text/plain; charset=ISO-8859-1 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 inet_aton() found. IPv6 is supported. unistd.h found. off_t is defined in 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 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 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 misc.o misc.c 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 stacks.o stacks.c 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 fix_code.o fix_code.c clang: warning: argument unused during compilation: '-fno-defer-pop' echo "#define OCAML_VERSION \"`sed -e 1q ../VERSION`\"" > version.h gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -o startup.o startup.c clang: warning: argument unused during compilation: '-fno-defer-pop' ... Regards. On Mon, Nov 25, 2013 at 11:44 AM, Felipe Gonzalez wrote: > Process: straightliner.opt [95277] > Path: /Users/USER/*/straightliner.opt > Identifier: straightliner.opt > Version: 0 > Code Type: X86-64 (Native) > Parent Process: bash [88978] > User ID: 501 > > Date/Time: 2013-11-24 21:17:55.779 +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 0x00000001026a510c caml_alloc_shr + 524 > 1 straightliner.opt 0x00000001026a5424 caml_alloc + 228 > 2 straightliner.opt 0x00000001026aa66b caml_make_vect + 235 > 3 straightliner.opt 0x00000001025e5547 .L402 + 19 > 4 ??? 0x00000001045e4f48 0 + 4368256840 > > Thread 1: > 0 libsystem_kernel.dylib 0x00007fff94ed36d6 __workq_kernreturn > + 10 > 1 libsystem_c.dylib 0x00007fff8f398f1c > _pthread_workq_return + 25 > 2 libsystem_c.dylib 0x00007fff8f398ce3 _pthread_wqthread + > 412 > 3 libsystem_c.dylib 0x00007fff8f383191 start_wqthread + 13 > > Thread 2:: Dispatch queue: com.apple.libdispatch-manager > 0 libsystem_kernel.dylib 0x00007fff94ed3d16 kevent + 10 > 1 libdispatch.dylib 0x00007fff93ecedea _dispatch_mgr_invoke > + 883 > 2 libdispatch.dylib 0x00007fff93ece9ee _dispatch_mgr_thread > + 54 > > Thread 3: > 0 libsystem_kernel.dylib 0x00007fff94ed36d6 __workq_kernreturn > + 10 > 1 libsystem_c.dylib 0x00007fff8f398f1c > _pthread_workq_return + 25 > 2 libsystem_c.dylib 0x00007fff8f398ce3 _pthread_wqthread + > 412 > 3 libsystem_c.dylib 0x00007fff8f383191 start_wqthread + 13 > > Thread 0 crashed with X86 Thread State (64-bit): > rax: 0x0000000007e6b3fe rbx: 0x00000000000000fe rcx: > 0x0000000007e6b000 rdx: 0x00000001056dfb50 > rdi: 0x00000000000fcd68 rsi: 0xbef24186d0048200 rbp: > 0x00007fff5d7e8e00 rsp: 0x00007fff5d7e8dd0 > r8: 0x017de4830dafd66c r9: 0x002fbc9061b5facd r10: > 0x00007fff5d7e8c98 r11: 0x00000001028ba668 > r12: 0x00000001025e5547 r13: 0x000000010446af98 r14: > 0x000000000001f9ac r15: 0x017de484131dcf98 > rip: 0x00000001026a510c rfl: 0x0000000000010206 cr2: 0x00000001028afeb8 > Logical CPU: 0 > > > seems men alloc related, I do not compile with -unsafe or -noassert > been a while I haven't used ocaml on mac, before was on os x 10.6.8 and > godi. > does it remind something to someone ? > tried using -thread, no change. > > regards. > --20cf307f38888f2da304ec054ab9 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
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

Con= figured with: --prefix=3D/Applications/Xcode.app/Contents/Developer/usr --w= ith-gxx-include-dir=3D/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: =A0 =A0 =A0 X86-64 (Na= tive)
Parent Process: =A0sh [83369]
User ID: =A0 =A0 =A0 =A0 501

Date/Time: =A0 =A0 =A0 2013-11-25 19:55:31.700 +010= 0
OS Version: =A0 =A0 =A0Mac OS X 10.8.5 (12F45)
Report= Version: =A010

Crashed Thread: =A00 =A0Dispatch queue: com.apple.main-= thread

Exception Type: =A0EXC_BAD_ACCESS (SIGSEGV)=
Exception Codes: EXC_I386_GPFLT

Thread = 0 Crashed:: Dispatch queue: com.apple.main-thread
0 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0=A0 0x000000010604eeb2 caml_alloc_shr + 434
= 1 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0=A0 0x000000010604f27b caml_alloc + 203
2 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0=A0 0x0000000106053b1a caml_make_vect + 218
= 3 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0=A0 0x0000000105f95617 .L402 + 19
4 =A0 ??? =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=A0 0x0000000107fca9c0 0 +=A04428966336

Thread 1:
0 =A0 libsystem_kernel.dylib =A0 =A0 =A0 =A0 0x00007fff972dc6d6 __workq_kernreturn + 10
1 = =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0=A0 0x00007fff931b0f1c _pthread_workq_return + 25
2 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0=A0 0x00007fff931b0ce3 _pthread_wqthread + 412
3 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0=A0 0x00007fff9319b191 start_wqthread + 13

=
The list of modu= les used by this project :

gnuplo= t sndfile bigarray lacaml fftw3 lablgtk2 lablgtk2.auto-init cairo.lablgtk2 = plplot plcairo react bolt batteries


The configur= e of ocaml-4.01.1 patched, seems fine.
I guess I need your help ! :

=A0 % Total =A0 =A0% Received % Xferd =A0Average Speed =A0= Time =A0 =A0Time =A0 =A0 Time =A0Current
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Dlo= ad =A0Upload =A0 Total =A0 Spent =A0 =A0Left =A0Speed
^M =A00 =A0= =A0 0 =A0 =A00 =A0 =A0 0 =A0 =A00 =A0 =A0 0 =A0 =A0 =A00 =A0 =A0 =A00 --:-= -:-- --:--:-- --:--:-- =A0 =A0 0^M =A01 4294k =A0 =A01 46085 =A0 =A00 =A0 = =A0 0 =A0 304k =A0 =A0 =A00 =A00:00:14 --:--:-- =A00:00:14 =A0308k^M 17 429= 4k =A0 17 =A0733k =A0 =A00 =A0 =A0 0 =A0 638k =A0 =A0 =A00 =A00:00:06 =A00:= 00:01 =A00:00:05 =A0639k^M 32 4294k =A0 32 1395k =A0 =A00 =A0 =A0 0 =A0 649= k =A0 =A0 =A00 =A00:00:06 =A00:00:02 =A00:00:04 =A0649k^M 47 4294k =A0 47 2= 057k =A0 =A00 =A0 =A0 0 =A0 653k =A0 =A0 =A00 =A00:00:06 =A00:00:03 =A00:00= :03 =A0653k^M 63 4294k =A0 63 2720k =A0 =A00 =A0 =A0 0 =A0 655k =A0 =A0 =A0= 0 =A00:00:06 =A00:00:04 =A00:00:02 =A0655k^M 78 4294k =A0 78 3382k =A0 =A00= =A0 =A0 0 =A0 656k =A0 =A0 =A00 =A00:00:06 =A00:00:05 =A00:00:01 =A0667k^M= 94 4294k =A0 94 4043k =A0 =A00 =A0 =A0 0 =A0 657k =A0 =A0 =A00 =A00:00:06 = =A00:00:06 --:--:-- =A0662k^M100 4294k =A0100 4294k =A0 =A00 =A0 =A0 0 =A0 = 656k =A0 =A0 =A00 =A00:00:06 =A00:00:06 --:--:-- =A0660k
200 =A0% Total =A0 =A0% Received % Xferd =A0Average Speed =A0 Time =A0= =A0Time =A0 =A0 Time =A0Current
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Dload =A0Upload =A0 Total =A0 Spent =A0 = =A0Left =A0Speed
^M =A00 =A0 =A0 0 =A0 =A00 =A0 =A0 0 =A0 =A00 = =A0 =A0 0 =A0 =A0 =A00 =A0 =A0 =A00 --:--:-- --:--:-- --:--:-- =A0 =A0 0^M1= 00 36686 =A0100 36686 =A0 =A00 =A0 =A0 0 =A0 145k =A0 =A0 =A00 --:--:-- --:= --:-- --:--:-- =A0286k
200patching file Makefile
patching file Makefile.nt
patching file asmcomp/i386/= arch.ml
patching file asmrun/backtrace.c
patching f= ile asmrun/fail.c
patching file asmrun/i386.S
patching file asmrun/signals_asm= .c
patching file asmrun/stack.h
patching file byterun/a= lloc.c
patching file byterun/config.h
patching file byt= erun/fail.c
patching file byterun/floats.c
patching file byterun/ints.c<= /div>
patching file byterun/memory.c
patching file byterun/mi= sc.h
patching file byterun/terminfo.c
patching file con= figure
patching file otherlibs/graph/open.c
patching file otherlibs/graph/sub= window.c
patching file otherlibs/num/nat_stubs.c
patchi= ng file otherlibs/systhreads/st_posix.h
patching file otherlibs/systhreads/st_win32.h
patching file = otherlibs/threads/scheduler.c
patching file otherlibs/win32unix/c= reateprocess.c
patching file testsuite/tests/basic-manyargs/manya= rgsprim.c
patching file testsuite/tests/callback/callbackprim.c
patchi= ng file testsuite/tests/gc-roots/globrootsprim.c
patching file te= stsuite/tests/lib-bigarray-2/bigarrfstub.c
patching file testsuit= e/tests/lib-dynlink-bytecode/stub1.c
patching file testsuite/tests/lib-dynlink-bytecode/stub2.c
p= atching file testsuite/tests/lib-dynlink-native/factorial.c
patch= ing file testsuite/tests/lib-marshal/intextaux.c
patching file ut= ils/config.mli
patching file utils/config.mlp
Configuring for a x86_64-appl= e-darwin12.5.0 ...
gcc found
The C compiler is ANSI-com= pliant.
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 wo= rd-aligned.
Native division and modulus have round-towards-zero s= emantics,
will use them.
ranlib found
#! appears to work in = shell scripts
POSIX signal handling found.
expm1(), log= 1p(), 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.
unist= d.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 fou= nd.
select() found.
symlink() found.
waitpid(= ) found.
wait4() found.
getgroups() found.
setgroups() foun= d.
initgroups() found.
POSIX termios found.
A= synchronous 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() fo= und.
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/includ= e=A0
Options for linking with X11: -L/opt/local/lib -lX11=A0
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 unabl= e to display info on .cmxs files
Assembler supports CFI

** Configuration summary **

Di= rectories where OCaml will be installed:
=A0 =A0 =A0 =A0 binaries= .................. /Users/philou/.opam/4.01.0/bin
=A0 =A0 =A0 =A0 standard library.......... /Users/philou/.opam/4.01.0/= lib/ocaml
=A0 =A0 =A0 =A0 manual pages.............. /Users/philo= u/.opam/4.01.0/man (with extension .1)
Configuration for the byte= code compiler:
=A0 =A0 =A0 =A0 C compiler used........... gcc
=A0 =A0 =A0 = =A0 options for compiling..... =A0-fno-defer-pop -Wall -D_FILE_OFFSET_BITS= =3D64 -D_REENTRANT
=A0 =A0 =A0 =A0 options for linking....... =A0= =A0 -lcurses -lpthread
=A0 =A0 =A0 =A0 shared libraries are supported
=A0 =A0 =A0 =A0 op= tions for compiling..... =A0 -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=3D64 = -D_REENTRANT
=A0 =A0 =A0 =A0 command for building...... gcc -bund= le -flat_namespace -undefined suppress -Wl,-no_compact_unwind -o lib.so /a/= path objs
Configuration for the native-code compiler:
=A0 =A0 =A0 =A0 = hardware architecture..... amd64
=A0 =A0 =A0 =A0 OS variant......= .......... macosx
=A0 =A0 =A0 =A0 C compiler used........... gcc<= /div>
=A0 =A0 =A0 =A0 options for compiling..... =A0-D_FILE_OFFSET_BITS= =3D64 -D_REENTRANT
=A0 =A0 =A0 =A0 options for linking....... =A0=A0
=A0 =A0 = =A0 =A0 assembler ................ clang -arch x86_64 -c
=A0 =A0 = =A0 =A0 preprocessed assembler ... clang -arch x86_64 -c
=A0 =A0 = =A0 =A0 assembler supports CFI ... yes
=A0 =A0 =A0 =A0 with frame pointers....... no
=A0 =A0 =A0 = =A0 native dynlink ........... true
=A0 =A0 =A0 =A0 profiling wit= h gprof ..... supported
Source-level replay debugger: supported
Debug runtime will be compiled and installed
Additional libraries supported:
=A0 =A0 =A0 =A0 unix str num= dynlink bigarray systhreads threads graph
Configuration for the = "num" library:
=A0 =A0 =A0 =A0 target architecture ....= .. amd64 (asm level 1)
Configuration for the "graph" library:
=A0 =A0 =A0= =A0 options for compiling .... -I/opt/local/include=A0
=A0 =A0 = =A0 =A0 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_F= ILE_OFFSET_BITS=3D64 -D_REENTRANT =A0 =A0-c -o interp.o interp.c
= clang: warning: argument unused during compilation: '-fno-defer-pop'= ;
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=3D64= -D_REENTRANT =A0 =A0-c -o misc.o misc.c
clang: warning: argument= unused during compilation: '-fno-defer-pop'
gcc -DCAML_N= AME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=3D64 -D_REENTRANT =A0= =A0-c -o stacks.o stacks.c
clang: warning: argument unused during compilation: '-fno-defer-po= p'
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wall -D_FILE_OFFS= ET_BITS=3D64 -D_REENTRANT =A0 =A0-c -o fix_code.o fix_code.c
clan= g: warning: argument unused during compilation: '-fno-defer-pop'
echo "#define OCAML_VERSION \"`sed -e 1q ../VERSION`\"&= quot; > version.h
gcc -DCAML_NAME_SPACE -O -fno-defer-pop -Wal= l -D_FILE_OFFSET_BITS=3D64 -D_REENTRANT =A0 =A0-c -o startup.o startup.c
clang: warning: argument unused during compilation: '-fno-defer-po= p'

...

Regards.


On Mon= , Nov 25, 2013 at 11:44 AM, Felipe Gonzalez <catseye.chandra@gma= il.com> wrote:
Process: =A0 =A0 =A0 = =A0 straightliner.opt [95277]
Path: =A0 =A0 =A0 =A0 =A0 =A0/Users= /USER/*/straightliner.opt
Identifier: =A0 =A0 =A0straightliner.opt
Version: =A0 =A0 = =A0 =A0 0
Code Type: =A0 =A0 =A0 X86-64 (Native)
Parent Process: =A0bash [88978]
User ID: =A0 =A0 =A0 =A0 501=

Date/Time: =A0 =A0 =A0 2013-11-24 21:17:55.779 +0= 100
OS Version: =A0 =A0 =A0Mac OS X 10.8.5 (12F45)
Repo= rt Version: =A010

Crashed Thread: =A00 =A0Dispatch queue: com.apple.main-= thread

Exception Type: =A0EXC_BAD_ACCESS (SIGSEGV)=
Exception Codes: EXC_I386_GPFLT

Thread = 0 Crashed:: Dispatch queue: com.apple.main-thread
0 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0 0x00000001026a510c caml_alloc_shr + 524
1 = =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0 0x00000001026a5424 caml_alloc + 228
2 =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0 0x00000001026aa66b caml_make_vect + 235
3 = =A0 straightliner.opt =A0 =A0 =A0 =A0 =A0 =A0 0x00000001025e5547 .L402 + 19
4 =A0 ??? =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 0x00000001045e4f48 0 + 4368256840

Thread 1:
0 =A0 libsystem_kernel.dylib =A0 =A0 =A0 =A0 0x00007fff94ed36d6 __workq_kernreturn + 10
1 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff8f398f1c _pthread_workq_return + 25
<= div>2 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff8f398ce3 _pthread_wqthread + 412
3 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff8f383191 start_wqthread + 13
Thread 2:: Dispatch queue: com.apple.libdispatch-manager
<= div>0 =A0 libsystem_kernel.dylib =A0 =A0 =A0 =A0 0x00007fff94ed3d16 kevent + 10
1 =A0 libdispatch.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff93ecedea _dispatch_mgr_invoke + 883
<= div>2 =A0 libdispatch.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff93ece9ee _dispatch_mgr_thread + 54

Thread 3:
0 =A0 libsystem_kernel.dylib =A0 = =A0 =A0 =A0 0x00007fff94ed36d6 = __workq_kernreturn + 10
1 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 = =A0 =A0 0x00007fff8f398f1c _pt= hread_workq_return + 25
2 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff8f398ce3 _pthread_wqthread + 412
3 =A0 libsystem_c.dylib =A0 =A0 =A0 =A0 =A0 =A0 0x00007fff8f383191 start_wqthread + 13

Thread 0 crashed with X86 Thread State (64-bit):
<= div>=A0 rax: 0x0000000007e6b3fe =A0rbx: 0x00000000000000fe =A0rcx: 0x000000= 0007e6b000 =A0rdx: 0x00000001056dfb50
=A0 rdi: 0x00000000000fcd68= =A0rsi: 0xbef24186d0048200 =A0rbp: 0x00007fff5d7e8e00 =A0rsp: 0x00007fff5d= 7e8dd0
=A0 =A0r8: 0x017de4830dafd66c =A0 r9: 0x002fbc9061b5facd =A0r10: 0x000= 07fff5d7e8c98 =A0r11: 0x00000001028ba668
=A0 r12: 0x00000001025e5= 547 =A0r13: 0x000000010446af98 =A0r14: 0x000000000001f9ac =A0r15: 0x017de48= 4131dcf98
=A0 rip: 0x00000001026a510c =A0rfl: 0x0000000000010206 =A0cr2: 0x00000= 001028afeb8
Logical CPU: 0


seems men alloc related, I do not compile with -unsafe or -noassert
=
been a while I haven't used ocaml on mac, before was on os x 10.6.8 and= godi.
does it remind something to someone ?
tried usin= g -thread, no change.

regards.

--20cf307f38888f2da304ec054ab9--