I'm trying to install CIL in the following environment, but it failed.

I need CIL to analyze source.

Does anyone give me a solution? 

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.