caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Hugo Ferreira <hmf@inescporto.pt>
To: Michael Ekstrand <michael@elehack.net>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: Error linking with library: Ancient.
Date: Tue, 16 Mar 2010 19:34:34 +0000	[thread overview]
Message-ID: <4B9FDD4A.6080604@inescporto.pt> (raw)
In-Reply-To: <hnolpj$1vn$1@dough.gmane.org>

Hi Michael,

Michael Ekstrand wrote:
> On 03/16/2010 02:12 PM, Hugo Ferreira wrote:
>> I am using ocamlbuild to compile and link the Ancient module.
>> I have a link error. I have tried to change the command line directly
>> with no success. I have used the exact same options for the GMP and CuDD
>> libraries and don't understand why it shouldn't work with Ancient also.
>>
>> Can anyone give me a hint?
> 
> Based on the error message and your previous post, it looks to me like
> this is caused by trying to build Ancient 0.8 against OCaml 3.11; I
> believe you need Ancient 0.9[1].  In 3.11, OCaml changed some of its
> heap management data structures.
> 

I did not see any mention of this in the readme.
However the ancient_c.c file of version 0.8 in fact
does not have any conditional compilation for 3.11
as does version 0.9.

Haven't tried yet, but looks like you are correct.

Thank you,
Hugo F.


> - Michael
> 
> 1. http://merjis.com/developers/ancient
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 


  reply	other threads:[~2010-03-16 19:34 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-03-16 19:12 Hugo Ferreira
2010-03-16 19:22 ` Michael Ekstrand
2010-03-16 19:34   ` Hugo Ferreira [this message]
2010-03-16 19:57   ` [Caml-list] " Hugo Ferreira

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4B9FDD4A.6080604@inescporto.pt \
    --to=hmf@inescporto.pt \
    --cc=caml-list@inria.fr \
    --cc=michael@elehack.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).