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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 15158BB9C for ; Sun, 20 Nov 2005 13:37:48 +0100 (CET) Received: from mx.laposte.net (mx.laposte.net [81.255.54.11]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAKCblU1024965 for ; Sun, 20 Nov 2005 13:37:47 +0100 Received: from [192.168.1.10] (80.125.71.169) by mx.laposte.net (7.2.060.1) (authenticated as matthieu.dubuget) id 42FA13AB05AA702B; Sun, 20 Nov 2005 13:36:48 +0100 Message-ID: <43806DF3.1000806@laposte.net> Date: Sun, 20 Nov 2005 13:37:07 +0100 From: Matthieu Dubuget Reply-To: matthieu.dubuget@laposte.net User-Agent: Debian Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr-fr, fr, en-us MIME-Version: 1.0 To: Zhu Ping Cc: Anil Madhavapeddy , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Using Frontc References: <002c01c5edae$afd08d20$1db312ac@comp.nus.edu.sg> In-Reply-To: <002c01c5edae$afd08d20$1db312ac@comp.nus.edu.sg> X-Enigmail-Version: 0.93.0.0 Content-Type: text/plain; charset=GB2312 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 43806E1B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 caml-list:01 ocamlc:01 cmo:01 cmo:01 ocamlc:01 cabs:98 cabs:98 unix:01 undefined:01 cma:01 linking:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > ocamlc -o main -I /home/sand/cil/obj/x86_LINUX/ pretty.cmo trace.cmo > errormsg.cmo cabs.cmo cabsvisit.cmo escape.cmo cprint.cmo patch.cmo > frontc.cmo main.cmo > "Error while linking /home/sand/cil/obj/x86_LINUX/patch.cmo: Reference > to undefined global 'Unix' " Try this : ocamlc -o main -I /home/sand/cil/obj/x86_LINUX/ unix .cma pretty.cmo trace.cmo errormsg.cmo cabs.cmo cabsvisit.cmo escape.cmo cprint.cmo patch.cmo frontc.cmo main.cmo Salutations Matthieu