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 37583BB81 for ; Fri, 18 Nov 2005 10:52:19 +0100 (CET) Received: from fork.recoil.org (fork.recoil.org [194.70.3.132]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id jAI9qIFF019437 for ; Fri, 18 Nov 2005 10:52:19 +0100 Received: (qmail 18008 invoked by uid 10000); 18 Nov 2005 09:52:14 -0000 Date: Fri, 18 Nov 2005 09:52:14 +0000 From: Anil Madhavapeddy To: Zhu Ping Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Using Frontc Message-ID: <20051118095213.GA5394@fork.recoil.org> References: <001d01c5ec21$a25b8570$1db312ac@comp.nus.edu.sg> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <001d01c5ec21$a25b8570$1db312ac@comp.nus.edu.sg> User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 437DA452.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; anil:01 anil:01 caml-list:01 cdk:01 parser:01 ocaml:01 wrote:01 snip:02 parse:02 berkeley:03 berkeley:03 zhu:04 cambridge:04 problem:05 fri:05 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 On Fri, Nov 18, 2005 at 05:22:37PM +0800, Zhu Ping wrote: > > I'm using Frontc, which is one of the libraries released in > CDK, to parse C source code. (snip) > > There are no source implementation/interface files with respect to > the corresponding files listed above. > > Can anybody help to to solve this problem? Thank you very much for > your help:) You haven't said if you must get FrontC to work, or can use any C parser. If you dont mind using another package, CIL from Berkeley is written in OCaml and is actively developed (and very very good). You can find more details at http://manju.cs.berkeley.edu/cil/ -- Anil Madhavapeddy http://anil.recoil.org University of Cambridge http://www.cl.cam.ac.uk