From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28301 invoked by alias); 9 Jun 2013 14:42:19 -0000 Mailing-List: contact cygwin-apps-help@cygwin.com; run by ezmlm Precedence: bulk Sender: cygwin-apps-owner@cygwin.com List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Mail-Followup-To: cygwin-apps@cygwin.com Received: (qmail 28287 invoked by uid 89); 9 Jun 2013 14:42:19 -0000 X-Spam-SWARE-Status: No, score=-3.5 required=5.0 tests=BAYES_00,KHOP_THREADED,RP_MATCHES_RCVD autolearn=ham version=3.3.1 Received: from mail3-relais-sop.national.inria.fr (HELO mail3-relais-sop.national.inria.fr) (192.134.164.104) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Sun, 09 Jun 2013 14:42:18 +0000 Received: from cac94-1-81-57-150-173.fbx.proxad.net (HELO [192.168.0.22]) ([81.57.150.173]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 09 Jun 2013 16:42:15 +0200 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1283) Subject: Re: [RFU] ocaml-4.00.1-1 From: Damien Doligez In-Reply-To: <20130607141924.GC22187@calimero.vinschen.de> Date: Sun, 09 Jun 2013 14:42:00 -0000 Content-Transfer-Encoding: quoted-printable Message-Id: References: <03567512-0765-4AA9-9316-92AA3D5D71EE@inria.fr> <8DC287A3-12E5-4AF7-AFFB-647396555DB0@inria.fr> <20130607141924.GC22187@calimero.vinschen.de> To: cygwin-apps@cygwin.com X-SW-Source: 2013-06/txt/msg00098.txt.bz2 On 2013-06-07, at 16:19, Corinna Vinschen wrote: > Done. Any chance to try building a 64 bit version of ocaml, Damien? I'll be working on that, yes. On 2013-06-07, at 20:00, Yaakov (Cygwin/X) wrote: > Ouch. Because of the fickle nature of OCaml's ABI, all OCaml libraries h= ave to be rebuilt for every version bump. While there not be much OCaml co= de in the distro, I have dozens of libraries in Ports which need to be rebu= ilt. Next time, could you please give me some rebuild time before stabiliz= ing a new version of OCaml? Ah, sorry. I didn't realize there would be so many dependencies. Next time = I'll warn you in advance. > Also, could you enable labltk? I haven't tried 4.00 yet, but 3.12 requir= ed this patch: >=20 > http://cygwin-ports.git.sourceforge.net/git/gitweb.cgi?p=3Dcygwin-ports/o= caml;a=3Dblob_plain;f=3D3.12.0-labltk.patch;h=3Df99bb84;hb=3DHEAD I don't think the patch is needed anymore. Let me look at this and try to m= ake a -2 version of the package. Thanks, -- Damien