Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Using Frontc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] Using Frontc
> 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 successfully
> 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 simplifies
using libraries, as GODI supports findlib for all libraries, i.e. you just
say

ocamlfind ocamlc -package frontc -c your_module.ml

and get rid of the .cma nightmare.

Gerd

> ----- Original Message -----
> From: "Matthieu Dubuget" <matthieu.dubuget@laposte.net>
> To: "Zhu Ping" <zhuping@comp.nus.edu.sg>
> Cc: "Anil Madhavapeddy" <anil@recoil.org>; <caml-list@yquem.inria.fr>
> 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: 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
>>
>
> _______________________________________________
> 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
------------------------------------------------------------