Error linking with library: Ancient.

Error linking with library: Ancient.

[Hugo Ferreira]

Hello,

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?

TIA,
Hugo F.


/home/hugof/ocaml/godi/bin/ocamlc.opt unix.cma bigarray.cma -g -I 
/home/hugof/workspace/planner/gmp gmp.cma -I 
/home/hugof/workspace/planner/cudd cudd.cma -I 
/home/hugof/ocaml/godi/lib/ocaml/pkg-lib/ancient ancient.cma -custom 
-custom -custom src/parse_utils.d.cmo src/symbols.d.cmo src/pred.d.cmo 
src/pred_instance.d.cmo src/uf/parray.d.cmo src/uf/punion.d.cmo 
src/var_bank.d.cmo src/unify.d.cmo src/clause.d.cmo src/dtrie.d.cmo 
src/ilp/prolog.d.cmo src/prop.d.cmo src/domain.d.cmo 
src/pred_parser.d.cmo src/pred_lexer.d.cmo src/pred_inout.d.cmo 
src/rules.d.cmo src/utils/strings.d.cmo 
src/domains/no_plan_bw_2_op.d.cmo src/utils/priorityq.d.cmo 
src/utils/bootq.d.cmo src/utils/perm.d.cmo src/utils/skewq.d.cmo 
src/ilp/heuristic_1.d.cmo -o src/ilp/heuristic_1.d.byte
/home/hugof/ocaml/godi/lib/ocaml/pkg-lib/ancient/libancient.a(ancient_c.o): 
In function `_mark':
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:150: 
undefined reference to `caml_heap_end'
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:150: 
undefined reference to `caml_page_table'
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:181: 
undefined reference to `caml_heap_end'
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:181: 
undefined reference to `caml_page_table'
/home/hugof/ocaml/godi/lib/ocaml/pkg-lib/ancient/libancient.a(ancient_c.o): 
In function `ancient_delete':
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:362: 
undefined reference to `caml_heap_end'
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:362: 
undefined reference to `caml_page_table'
/home/hugof/ocaml/godi/lib/ocaml/pkg-lib/ancient/libancient.a(ancient_c.o): 
In function `ancient_is_ancient':
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:378: 
undefined reference to `caml_heap_end'
/home/hugof/ocaml/godi/build/godi/godi-ancient/work/ancient-0.8.0/ancient_c.c:378: 
undefined reference to `caml_page_table'
collect2: ld returned 1 exit status
File "_none_", line 1, characters 0-1:
Error: Error while building custom runtime system

Re: Error linking with library: Ancient.

[Michael Ekstrand]

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

Re: [Caml-list] Re: Error linking with library: Ancient.

[Hugo Ferreira]

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
> 

Re: [Caml-list] Re: Error linking with library: Ancient.

[Hugo Ferreira]

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.
> 

Spot on! Compiled and linked correctly.

Thanks again.
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
>