CIL installation fails
| 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.