[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 ------------------------------------------------------------