From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7B7DFBC57 for ; Tue, 16 Mar 2010 20:12:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmECAFd1n0vVhjEXkGdsb2JhbACbGQEBAQEJCQwHEwMfuxaEeAQ X-IronPort-AV: E=Sophos;i="4.49,651,1262559600"; d="scan'208";a="55400137" Received: from ihsmtp01voda.lis.interhost.com (HELO ihsmtp01cons.lis.interhost.com) ([213.134.49.23]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Mar 2010 20:12:41 +0100 Received: from [192.168.1.64] ([95.136.106.136]) by ihsmtp01cons.lis.interhost.com with Microsoft SMTPSVC(6.0.3790.3959); Tue, 16 Mar 2010 19:12:40 +0000 Message-ID: <4B9FD823.2070707@inescporto.pt> Date: Tue, 16 Mar 2010 19:12:35 +0000 From: Hugo Ferreira User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Error linking with library: Ancient. Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 16 Mar 2010 19:12:40.0444 (UTC) FILETIME=[A5D5C3C0:01CAC53C] X-Spam: no; 0.00; ocaml:01 ocamlc:01 bigarray:01 ocaml:01 lib:01 -custom:01 -custom:01 utils:01 cmo:01 cmo:01 pred:01 pred:01 unify:01 parser:01 lexer:01 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