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 6417DBB81 for ; Fri, 18 Nov 2005 10:22:53 +0100 (CET) Received: from x86unx3.comp.nus.edu.sg (x86unx3.comp.nus.edu.sg [137.132.80.24]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAI9Movb016051 for ; Fri, 18 Nov 2005 10:22:52 +0100 Received: from e500d.comp.nus.edu.sg (e500d.comp.nus.edu.sg [137.132.90.69]) by x86unx3.comp.nus.edu.sg (8.9.1-20030924/8.9.1) with SMTP id RAA14257 for ; Fri, 18 Nov 2005 17:22:48 +0800 (GMT-8) Received: from sn40.comp.nus.edu.sg(137.132.80.15) by e500d.comp.nus.edu.sg via csmap id 399e706e_5815_11da_9bc6_0030482985c3_32084; Fri, 18 Nov 2005 17:25:14 +0800 (SGT) Received: from zhuping (soccf-pls-037.ddns.comp.nus.edu.sg [172.18.179.29]) (authenticated bits=0) by sn40.comp.nus.edu.sg (8.13.1/8.13.1) with ESMTP id jAI9MgOf011070 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT) for ; Fri, 18 Nov 2005 17:22:45 +0800 (SGT) Message-ID: <001d01c5ec21$a25b8570$1db312ac@comp.nus.edu.sg> From: "Zhu Ping" To: Subject: Using Frontc Date: Fri, 18 Nov 2005 17:22:37 +0800 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0018_01C5EC64.AC194870" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2527 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2527 X-Miltered: at concorde with ID 437D9D6A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 cdk:01 libc:01 cdk:01 tar:01 ocaml:01 ocamlopt:01 usr:01 lib:01 lib:01 ocaml-:01 usr:01 ocaml-:01 pervasives:01 cmi:01 X-Attachments: cset="gb2312" cset="gb2312" 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=HTML_60_70,HTML_MESSAGE autolearn=disabled version=3.0.3 This is a multi-part message in MIME format. ------=_NextPart_000_0018_01C5EC64.AC194870 Content-Type: text/plain; charset="gb2312" Content-Transfer-Encoding: quoted-printable Dear OCaml users: I'm using Frontc, which is one of the libraries released in CDK, to = parse C source code. I downloded the complete binaries for Linux i386 libc6 from = http://pauillac.inria.fr/cdk/binaries/binaries-3.03/gz/cdk-3.03.tar.gz = and installed it on a Linux server by following the installation = instructions. The following code (mail.ml) is the main ocaml program that use Frontc = to parse a sample code written in C language. open Frontc (* -------------------------------------- Test case for sample1.c = --------------------------------------*) let parse_result =3D Frontc.parse_file "/home/sand/zhuping/sample1.c" = error_channel;=20 I compiled the maim.ml using this command: ocamlopt -I = /usr/local/lib/cdk-3.03/lib/ocaml-3.03/ main.ml =20 But some error returns: = /usr/local/lib/cdk-3.03/lib/ocaml-3.03/pervasives.cmi is not a compiled = interface All the Frontc codes located under the directory = /usr/local/lib/cdk-3.03/lib/ocaml-3.03/ are compiled codes:=20 frontc.a frontc.cma frontc.cmi frontc.cmx frontc.cmxa clexer.cmi clexer.cmx cparser.cmi cparser.cmx cabs.cmi cabs.cmx cprint.cmi cprint.cmx 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:) ------=_NextPart_000_0018_01C5EC64.AC194870 Content-Type: text/html; charset="gb2312" Content-Transfer-Encoding: quoted-printable

Dear OCaml users:

I'm using Frontc, which = is one of the=20 libraries released in CDK, to parse C source code.

I downloded the complete = binaries for Linux=20 i386 libc6 from http://pauillac.inria.fr/cdk/binaries/binaries-3.03/gz/cdk-3.03.ta= r.gz and=20 installed it on a Linux server by following the installation=20 instructions.

The following code=20 (mail.ml) is the main ocaml program that use Frontc to = parse a=20 sample code written in C language.

open Frontc

(* = --------------------------------------=20 Test case for sample1.c = --------------------------------------*)

let parse_result =3D = Frontc.parse_file=20 "/home/sand/zhuping/sample1.c" error_channel;

I compiled the maim.ml using this command: =20 ocamlopt -I /usr/local/lib/cdk-3.03/lib/ocaml-3.03/=20 main.ml

But some error returns:=20 /usr/local/lib/cdk-3.03/lib/ocaml-3.03/pervasives.cmi is not a compiled=20 interface

All the Frontc codes = located=20 under the directory /usr/local/lib/cdk-3.03/lib/ocaml-3.03/ are = compiled=20 codes:

   =20 frontc.a
    frontc.cma
   =20 frontc.cmi
    frontc.cmx
   =20 frontc.cmxa

=20 clexer.cmi
clexer.cmx

=20 cparser.cmi
cparser.cmx

=20 cabs.cmi
cabs.cmx

=20 cprint.cmi
cprint.cmx

There are no source = implementation/interface files=20 with respect to the corresponding files listed above.

Can anybody help to to solve = this problem?=20 Thank you very much for your=20 help:)

------=_NextPart_000_0018_01C5EC64.AC194870--