CIL installation fails

"[email protected] [ocaml_beginners]" <[email protected]> 10 Jan 2016 22:07:41 -0800
Newsgroups gmane.comp.lang.ocaml.beginners
Message-ID <[email protected]>
Hi.
 

 I'm trying to install CIL in the following environment, but it failed.
 CIL is needed to analyze source code.
 

 OS: ubuntu 14.04
 $ opam --version
 $ 1.2.2
 $ ocaml -version
 $ The OCaml toplevel, version 4.02.3
 

 I only did:
 1. Install ubuntu
 2. $ sudo add-apt-repository ppa:avsm/ppa
 3. $ sudo apt-get update
 4. $ sudo apt-get install ocaml ocaml-native-compilers camlp4-extra opam m4
 5. $ opam init
 6. $ opam switch 3.11.2 
 (cil needs ocaml 3.xx.x)
 7. $ eval `opam config env`
 8. $ opam install CIL
 

 And we get :
 -----------------------------------------------------------------------------------------------------------------------------
 The following actions will be performed:
   ∗  install ocamlbuild 0                     [required by cil]
   ∗  install ocamlfind  1.5.3                 [required by cil]
   ∗  install cil        1.7.3
 ===== ∗  3 =====
 Do you want to continue ? [Y/n] y
 

 =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
 [default] https://opam.ocaml.org/archives/ocamlfind.1.5.3+opam.tar.gz downloaded
 [default] https://opam.ocaml.org/archives/cil.1.7.3+opam.tar.gz downloaded
 

 =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
 ∗  installed ocamlbuild.0
 [ERROR] The compilation of ocamlfind failed at "make opt".
 Processing  2/3: [ocamlfind: make uninstall]
 #=== ERROR while installing ocamlfind.1.5.3 ===================================#
 # opam-version 1.2.2
 # os           linux
 # command      make opt
 # path         /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3
 # compiler     3.11.2
 # exit-code    2
 # env-file     /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/ocamlfind-19121-a00279.env
 # stdout-file  /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/ocamlfind-19121-a00279.out
 # stderr-file  /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/ocamlfind-19121-a00279.err
 ### stdout ###
 # files="bytes.cmx bytes.a bytes.cmxa"; \
 # [...]
 # ocamlbuild -classic-display -no-links $files
 # /home/sumi/.opam/3.11.2/bin/ocamlopt.opt -c -o bytes.cmx bytes.ml
 # /home/sumi/.opam/3.11.2/bin/ocamlopt.opt -a bytes.cmx -o bytes.cmxa
 # Solver failed:
 #   Ocamlbuild knows of no rules that apply to a target named bytes.cmxs. This can happen if you ask Ocamlbuild to build a target with the wrong extension (e.g. .opt instead of .native) or if the source files live in directories that have not been specified as include directories.
 # Backtrace:
 #   - Failed to build the target bytes.cmxs
 #       - Building bytes.cmxs
 # make[1]: Leaving directory `/home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/src/bytes'
 ### stderr ###
 # make[1]: *** [opt] Error 6
 # make: *** [opt] Error 2
 

 

 

 =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
 The following actions were aborted
   ∗  install cil 1.7.3
 The following actions failed
   ∗  install ocamlfind 1.5.3
 The following changes have been performed
   ∗  install ocamlbuild 0
 

 =-=- ocamlfind.1.5.3 troubleshooting =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
 => Could not build ocamlfind. The most common reason for that is a missing 'm4'
    system package.

 -----------------------------------------------------------------------------------------------------------------------------

 

 Any help will be appreciated.