From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 112509 invoked by alias); 11 Feb 2017 11:00:37 -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 112388 invoked by uid 89); 11 Feb 2017 11:00:31 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,SPF_PASS autolearn=ham version=3.3.2 spammy=searched, Reason, 035, offer X-HELO: mail-wr0-f174.google.com Received: from mail-wr0-f174.google.com (HELO mail-wr0-f174.google.com) (209.85.128.174) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sat, 11 Feb 2017 11:00:30 +0000 Received: by mail-wr0-f174.google.com with SMTP id i10so124387519wrb.0 for ; Sat, 11 Feb 2017 03:00:29 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=clfOCXAle9F+Ce7+/4ib6e08oqSLh52RohG1cOgQLEc=; b=oRcv5J3c3wlu1Opfw3u1t22nZAwHjOj+dHN5PRTyNDR2DTwN6wVHmvZgHk3sAebCCR StwRejQcJQvMxi86v9kaKwuPZpealYNt3eH4BEMjsYsYxMZputknZpUl8YoL//j/rCsc BjN4WjdPIJ5/T4uBn3G8R4Sqpu8QFRvUB4/zn45xxtLRaH4oCYigWGOWyL+YLBrMCPEi Zs/tqP59k4BRUO+eu/r/P1Ml38M2/3ELkPmOJGBbWrAGMTDiA+H+C+Gl+rvHRXFlN7kW 10onmyRrUUoLDPO8sQUlBX1U6E2kxmEcEDUYKGOkjYqWcEJDapzLDUKJUjW9wWWW00Fa fO+Q== X-Gm-Message-State: AMke39myJmrFS7LJxxAXjaHgQpqZSx5fZWtbJlP+noaxsRMXXhvva3lTOaRNT8P/z3cEaA== X-Received: by 10.223.177.195 with SMTP id r3mr11659473wra.147.1486810828038; Sat, 11 Feb 2017 03:00:28 -0800 (PST) Received: from [192.168.0.2] ([151.32.108.196]) by smtp.googlemail.com with ESMTPSA id i15sm4761059wmf.21.2017.02.11.03.00.26 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 11 Feb 2017 03:00:27 -0800 (PST) Subject: Re: Ping/offer on FlexDLL 0.35, OCaml 4.04, Camlp4, etc. To: cygwin-apps@cygwin.com, Damien.Doligez@inria.fr References: <15294840-97a3-d359-7a2a-77ea3f74979d@cygwin.com> From: Marco Atzeri Message-ID: <6b2dbc56-8452-939c-eb6a-3181c7990c25@gmail.com> Date: Sat, 11 Feb 2017 11:00:00 -0000 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 MIME-Version: 1.0 In-Reply-To: <15294840-97a3-d359-7a2a-77ea3f74979d@cygwin.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-IsSubscribed: yes X-SW-Source: 2017-02/txt/msg00017.txt.bz2 On 24/11/2016 21:34, Yaakov Selkowitz wrote: > On 2016-11-24 14:06, Anton Bachin wrote: >> Cygwin’s package “ocaml” is currently at 4.02.3, and “flexdll” is at >> 0.34. The latest FlexDLL, 0.35, makes it possible to build and use OCaml >> 4.03.0 and 4.04.0 on Cygwin [1]. > > Thanks for the ping, I just uploaded 0.35. Hopefully that, combined > with a new ocaml build, will fix the issues I was having rebuilding my > various ocaml libs for 4.02.3. > >> I am not sure who is the current maintainer of these packages. I >> searched the mailing list, and found Damien Doligez apparently submitted >> OCaml 4.01.0. > > And 4.02.3. > >> However, I package releases of OCaml and related packages in little >> Cygwin mirrors, for use on build bots [2]. If desired, I can adapt the >> packages to be suitable for public Cygwin, and submit them. I expect to >> be making the build bot packages for quite a while, so I should be able >> to also submit to Cygwin on an ongoing basis. > > Damian, your thoughts? > Damien, are still with us ? the issue on 64 bit platform is still hurting Cannot load required shared library dllunix. Reason: /usr/lib/ocaml/stublibs/dllunix.so: flexdll error: cannot relocate RELOC_REL32, target is too far: 0xfffffffc35097112 0x35097112. Regards Marco