Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Hugo Ferreira <hmf@i...>
Subject: Error linking with library: Ancient.
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