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 = Frontc.parse_file "/home/sand/zhuping/sample1.c" error_channel; 


  I compiled the maim.ml using this command:  ocamlopt -I /usr/local/lib/cdk-3.03/lib/ocaml-3.03/ main.ml
  
  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: 
    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:)