From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 51E3F7EEBF for ; Wed, 1 Jul 2015 14:50:31 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of benoit.pin@gmail.com) identity=pra; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benoit.pin@gmail.com"; x-sender="benoit.pin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of benoit.pin@gmail.com designates 209.85.212.179 as permitted sender) identity=mailfrom; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benoit.pin@gmail.com"; x-sender="benoit.pin@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-wi0-f179.google.com) identity=helo; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benoit.pin@gmail.com"; x-sender="postmaster@mail-wi0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D3AAAR4ZNVm7PUVdFbg2Vfvx2HWEwBAQEBAQESAQEBAQEGCwsJIS6EOygGATkDDQUXaAEFAQ5Jh3gDEgQBpF2DMT4xkCOMAScNhhkBBQ6QX4MBgRQFlBCEXZ1+NYEVF0kpcgGCJm2CSAEBAQ X-IPAS-Result: A0D3AAAR4ZNVm7PUVdFbg2Vfvx2HWEwBAQEBAQESAQEBAQEGCwsJIS6EOygGATkDDQUXaAEFAQ5Jh3gDEgQBpF2DMT4xkCOMAScNhhkBBQ6QX4MBgRQFlBCEXZ1+NYEVF0kpcgGCJm2CSAEBAQ X-IronPort-AV: E=Sophos;i="5.15,385,1432591200"; d="scan'208";a="138601506" Received: from mail-wi0-f179.google.com ([209.85.212.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2015 14:50:30 +0200 Received: by widjy10 with SMTP id jy10so56799598wid.1 for ; Wed, 01 Jul 2015 05:50:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:content-type:content-transfer-encoding:subject :message-id:date:to:mime-version; bh=xp2vqZ7gDQlYhOgrZhtWrtajQHxt/DQb93P3WQ84Rk8=; b=qcYj2yxyxIIreYYNWeO0Ssh4TNodd/yTPjhrB/exGIJjq1sK8EsZHKmrdxSsQpiJDX bw2+8lQZ/0Q9Z6GmMpggP3PfMigOmif7qC6fzZcylIF1ejL1n3y9ipl9AcHYQMui8Pg8 cQ2Y02bd3JwN60u9jX9IDUnscUe1HA2SK9ZeyAaoxiYsbU6R9o8TfKeuoz3Hma2V+cpy wyJYT3sjcQvBAcOzqBtSi9fGOK6X3Q1M2U1Yh4dis1LX9j2xjUtejHq59prXa1+3qERe QyBD/0mIDg+Bj+nPFLKHwl5xOqdzHtkwH8YpDgL1JQAD2ZuYCE4AgcJAMQeyhdEh714S 0BLg== X-Received: by 10.180.100.197 with SMTP id fa5mr6127000wib.65.1435755030451; Wed, 01 Jul 2015 05:50:30 -0700 (PDT) Received: from zarandj.cri.ensmp.fr (nat-int-rnt.cri.ensmp.fr. [195.83.117.254]) by mx.google.com with ESMTPSA id ei8sm2778590wjd.32.2015.07.01.05.50.29 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 01 Jul 2015 05:50:29 -0700 (PDT) Sender: =?UTF-8?Q?Beno=C3=AEt_PIN?= From: =?utf-8?Q?Beno=C3=AEt_Pin?= Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <88871EF7-757A-4FE2-B750-6528ED64173F@cri.ensmp.fr> Date: Wed, 1 Jul 2015 14:50:28 +0200 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) X-Mailer: Apple Mail (2.2098) Subject: [Caml-list] OSX 32bit, native dynlink? Hi everybody, is it possible to build ocaml 32bits in OSX with native dynlink support? We were trying to build camlp4 (opam install camlp4) in OSX 10.10.3 with a = 32bit ocaml runtime (opam switch 4.02.1+32bit) but it fails with: # + /Users/pinbe/.opam/4.02.1+32bit/bin/ocamlopt.opt dynlink.cmxa -g camlp4= /config/Camlp4_import.cmx camlp4/config/Camlp4_config.cmx camlp4/boot/Camlp= 4.cmx camlp4/boot/camlp4boot.cmx -o camlp4/boot/camlp4boot.native # File "_none_", line 1: # Error: Cannot find file dynlink.cmxa indeed, it seems that we are doing something wrong and the 32bit version of= Ocaml is built by opam without native dynlink support: ** Configuration summary ** Directories where OCaml will be installed: binaries.................. /usr/local/bin standard library.......... /usr/local/lib/ocaml manual pages.............. /usr/local/man (with extension .1) Configuration for the bytecode compiler: C compiler used........... gcc -arch i386 -m32 options for compiling..... -Wall -D_FILE_OFFSET_BITS=3D64 -D_REENT= RANT options for linking....... -lcurses -lpthread shared libraries are supported options for compiling..... -Wall -D_FILE_OFFSET_BITS=3D64 -D_REEN= TRANT command for building...... gcc -arch i386 -m32 -bundle -flat_namesp= ace -undefined suppress -Wl,-no_compact_unwind -o lib.so /a/path objs Configuration for the native-code compiler: hardware architecture..... i386 OS variant................ macosx C compiler used........... gcc -arch i386 -m32 options for compiling..... -Wall -D_FILE_OFFSET_BITS=3D64 -D_REENTR= ANT options for linking.......=20=20=20 assembler ................ as -arch i386 preprocessed assembler ... gcc -arch i386 -m32 -c assembler supports CFI ... no with frame pointers....... no naked pointers forbidden.. no native dynlink ........... false profiling with gprof ..... supported Source-level replay debugger: supported Additional libraries supported: unix str num dynlink bigarray systhreads threads Configuration for the "num" library: target architecture ...... ia32 (asm level 2) The "graph" library: not supported ** OCaml configuration completed successfully ** Best regards, Benoit=