[Caml-list] CIL Installation with OPAM failed

[Caml-list] CIL Installation with OPAM failed

[Soichi Sumi]

[-- Attachment #1: Type: text/plain, Size: 3645 bytes --]

Dear caml-list members,

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.

=========================================
Soichi Sumi
Graduate School of Information Science and Technology
Osaka University
1-5, Yamadaoka, Suita, Osaka, Japan
Email: s-sumi@ist.osaka-u.ac.jp
=========================================

[-- Attachment #2: Type: text/html, Size: 5069 bytes --]

Re: [Caml-list] CIL Installation with OPAM failed

[Daniel Bünzli]

I guess that ocamlbuild 3.11.2 didn't knew how to build .cmxs files, so it seems there's a missing constraint in the opam file. 

Anyways there should be no reason to use such an old ocaml version. I just tried to install cil 1.7.3 on 4.02.3 and it works.  

Best, 

Daniel

Re: [Caml-list] CIL Installation with OPAM failed

[Soichi Sumi]

[-- Attachment #1: Type: text/plain, Size: 764 bytes --]

CIL needs ocaml 3.xx, some weeks ago.
But now, as you mentioned, it works in ocaml 4.xx.
I didn't noticed.

Thank you for your advice!

=========================================
Soichi Sumi
Graduate School of Information Science and Technology
Osaka University
1-5, Yamadaoka, Suita, Osaka, Japan
Email: s-sumi@ist.osaka-u.ac.jp
=========================================

2016-01-12 3:54 GMT+09:00 Daniel Bünzli <daniel.buenzli@erratique.ch>:

> I guess that ocamlbuild 3.11.2 didn't knew how to build .cmxs files, so it
> seems there's a missing constraint in the opam file.
>
> Anyways there should be no reason to use such an old ocaml version. I just
> tried to install cil 1.7.3 on 4.02.3 and it works.
>
> Best,
>
> Daniel
>
>
>

[-- Attachment #2: Type: text/html, Size: 1376 bytes --]