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 671A4BB9C for ; Mon, 21 Nov 2005 10:55:04 +0100 (CET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.173]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAL9t4Jc001681 for ; Mon, 21 Nov 2005 10:55:04 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1Ee8O0-00063j-00; Mon, 21 Nov 2005 10:54:56 +0100 Received: from [84.58.129.121] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1Ee8O0-0006dm-00; Mon, 21 Nov 2005 10:54:56 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 0EBCEC097; Mon, 21 Nov 2005 10:54:56 +0100 (CET) Received: from 192.168.1.2 (proxying for 194.127.8.19) (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Mon, 21 Nov 2005 10:54:56 +0100 (CET) Message-ID: <4373.192.168.1.2.1132566896.squirrel@gps.dynxs.de> In-Reply-To: <000e01c5ee77$724858b0$1db312ac@comp.nus.edu.sg> References: <002c01c5edae$afd08d20$1db312ac@comp.nus.edu.sg> <43806DF3.1000806@laposte.net> <000e01c5ee77$724858b0$1db312ac@comp.nus.edu.sg> Date: Mon, 21 Nov 2005 10:54:56 +0100 (CET) Subject: Re: [Caml-list] Using Frontc From: "Gerd Stolpmann" To: "Zhu Ping" Cc: matthieu.dubuget@laposte.net, caml-list@yquem.inria.fr, "Anil Madhavapeddy" User-Agent: SquirrelMail/1.4.4 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 43819978.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 gerd:01 stolpmann:01 findlib:01 ocamlfind:01 ocamlc:01 -package:01 gerd:01 matthieu:01 dubuget:01 matthieu:01 dubuget:01 anil:01 anil:01 caml-list:01 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 > The pity now is the CIL format seems too complicated for me. I like the > data > structure defined in an earlier version of FrontC > (http://casse.hugues.free.fr/projects/frontc.html) better:). However I > still > have problems in compiling FrontC sources downloaded from the site > http://casse.hugues.free.fr/projects/frontc.html. Did anyone successful= ly > install FrontC in Linux/Unix? FrontC is available in GODI, http://godi.ocaml-programming.de. This is probably the simplest way to install it. Furthermore, this also simplifie= s using libraries, as GODI supports findlib for all libraries, i.e. you jus= t say ocamlfind ocamlc -package frontc -c your_module.ml and get rid of the .cma nightmare. Gerd > ----- Original Message ----- > From: "Matthieu Dubuget" > To: "Zhu Ping" > Cc: "Anil Madhavapeddy" ; > Sent: Sunday, November 20, 2005 8:37 PM > Subject: Re: [Caml-list] Using Frontc > > >> >>> 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: Referenc= e >>> 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 >> > > _______________________________________________ > 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 > > ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------