delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2014/12/02/13:33:54

X-Recipient: archive-cygwin AT delorie DOT com
DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
:list-unsubscribe:list-subscribe:list-archive:list-post
:list-help:sender:date:message-id:from:to:cc:subject
:content-type:mime-version; q=dns; s=default; b=Ecip1Vfk84s4sSzi
TdzIkaj4a+Y4Y+74DuixuJnlKrLAsjfYlOhERer6Su8DgyohI9dqJyRZylkTNoKv
X225aA9oanlS8meSWIc3msVpdcAjfLG7QD4yyVGXsplP3tdy5aQrEToSmNyH9PMd
p7Ua6NKpdgjGd2IFJgrf8BVtj/8=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
:list-unsubscribe:list-subscribe:list-archive:list-post
:list-help:sender:date:message-id:from:to:cc:subject
:content-type:mime-version; s=default; bh=ioYuKzBJYoqwyJe3F95FId
yPjD0=; b=xh41DhsgA+cV69h1Hw/6Ml8AnaiIhU+4Y6ggic/CJu2BMKDaURkCmf
Cgu/3xQe8KcxaqiMIazLUdL5RnzmCRFqrxYTRLqkPahMepuSuDaz5+7OO2ZC2PbW
U1/RDqh2+2AFQkznpWtMcr/2LjDe+SZVmK9QJCVkDYYeuSD2h34O4=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.3 required=5.0 tests=AWL,BAYES_50,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2
X-HELO: sapo.pt
Date: Tue, 02 Dec 2014 18:33:28 +0000
Message-ID: <20141202183328.Horde.sMUjmPqbxW_RHV0y_ZTZUw1@mail.sapo.pt>
From: Nuno Lopes <nunoplopes AT sapo DOT pt>
To: cygwin AT cygwin DOT com
Cc: yselkowitz AT cygwin DOT com
Subject: LLVM OCaml bindings
User-Agent: Dynamic Internet Messaging Program (DIMP) PTMail 5.4.3
X-PTMail-Version: PTMail 5.4.3
X-PTMail-User: eyJpdiI6Im1ieFRMYUFhZXNwS1VOcktvXC9RTjh3PT0iLCJkIjoidE5LUEhuTmhxZkhLc01HSkh0WFwvWkVybW1XXC9tQzNrN3dhOTBoWjcrSmpRPSJ9
MIME-Version: 1.0

Hi,

It seems that the 'ocaml-llvm' package hasn't been updated in a while.  
  It still links with LLVM 3.1, while the current LLVM packages are  
3.4.2, and the ocaml files were compiled with an older OCaml compiler.  
  Therefore, right now this package doesn't work at all.

For example:
$ ocamlopt llvm_bitreader.cmxa irreader.ml -o foo
File "irreader.ml", line 1:
Error: /usr/lib/ocaml/llvm.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.


Could this 'ocaml-llvm' package be bumped to 3.4.2 and compiled with  
the current stable version of OCaml please?


Thanks in advance,
Nuno Lopes

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019