English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Error linking with library: Ancient.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-16 (19:22)
From: Michael Ekstrand <michael@e...>
Subject: Re: Error linking with library: Ancient.
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.

- Michael

1. http://merjis.com/developers/ancient