From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1D2E07FDC8 for ; Mon, 11 Jan 2016 19:39:40 +0100 (CET) IronPort-PHdr: 9a23:iq2VrB9bw++BvP9uRHKM819IXTAuvvDOBiVQ1KB90O4cTK2v8tzYMVDF4r011RmSDduds6oMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleKKtQsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2+C1Vv7cl9tVceaT8ZaUxC7JCXxo8NGVg38rqvhnCBTCS43pUBn5TiQdNAiDE9w28WYz4sSK/q6x002+YJZulHvgPRT2+4vIzG1fTgyAdOmth/Q== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=s-sumi@ist.osaka-u.ac.jp; spf=None smtp.mailfrom=s-sumi@ist.osaka-u.ac.jp; spf=None smtp.helo=postmaster@cc.mail.osaka-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of s-sumi@ist.osaka-u.ac.jp) identity=pra; client-ip=133.1.138.214; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="s-sumi@ist.osaka-u.ac.jp"; x-sender="s-sumi@ist.osaka-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of s-sumi@ist.osaka-u.ac.jp) identity=mailfrom; client-ip=133.1.138.214; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="s-sumi@ist.osaka-u.ac.jp"; x-sender="s-sumi@ist.osaka-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cc.mail.osaka-u.ac.jp) identity=helo; client-ip=133.1.138.214; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="s-sumi@ist.osaka-u.ac.jp"; x-sender="postmaster@cc.mail.osaka-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ADAQCL9pNWldaKAYVehAxtBohTogeBfgGIMIUZgWgrAQ2BZhgBCYVtgSI/FAEBAQEBAQEBEAEBAQEHDQkJHzCCLYIgEW8NKg0CJBMFNhsHiAsPkgONR4IHgTE+MYtIjV2CTCGGVoklEQFMgjUMLhOBNgWHWQgDhlE+hB2EA4VDiBaBXkqHF4U+hWSBFoYcgTsRDwEBghg4AxUHgWwvNAEBAQGEf4FCAQEB X-IPAS-Result: A0ADAQCL9pNWldaKAYVehAxtBohTogeBfgGIMIUZgWgrAQ2BZhgBCYVtgSI/FAEBAQEBAQEBEAEBAQEHDQkJHzCCLYIgEW8NKg0CJBMFNhsHiAsPkgONR4IHgTE+MYtIjV2CTCGGVoklEQFMgjUMLhOBNgWHWQgDhlE+hB2EA4VDiBaBXkqHF4U+hWSBFoYcgTsRDwEBghg4AxUHgWwvNAEBAQGEf4FCAQEB X-IronPort-AV: E=Sophos;i="5.20,554,1444687200"; d="scan'208";a="160071475" Received: from cc-ext.ccc.osaka-u.ac.jp (HELO cc.mail.osaka-u.ac.jp) ([133.1.138.214]) by mail3-smtp-sop.national.inria.fr with SMTP; 11 Jan 2016 19:39:11 +0100 Received: (qmail 11590 invoked by uid 700); 12 Jan 2016 03:39:05 +0900 Received: from 172.30.102.204 (s-sumi+ist@172.30.102.204) by m3 (envelope-from , uid 0) with qmail-scanner-2.08 (clamdscan: 0.96.5/21247. Clear:RC:0(172.30.102.204):. Processed in 0.030609 secs); 11 Jan 2016 18:39:05 -0000 X-Qmail-Scanner-Mail-From: s-sumi@ist.osaka-u.ac.jp via m3 X-Qmail-Scanner: 2.08 (Clear:RC:0(172.30.102.204):. Processed in 0.030609 secs) Received: from unknown (HELO mail-yk0-f172.google.com) (s-sumi+ist@172.30.102.204) by 172.30.102.117 with SMTP; 12 Jan 2016 03:39:05 +0900 Received: by mail-yk0-f172.google.com with SMTP id k129so418608699yke.0 for ; Mon, 11 Jan 2016 10:39:05 -0800 (PST) X-Received: by 10.13.206.130 with SMTP id q124mr44470915ywd.241.1452537544708; Mon, 11 Jan 2016 10:39:04 -0800 (PST) MIME-Version: 1.0 Received: by 10.37.39.6 with HTTP; Mon, 11 Jan 2016 10:38:25 -0800 (PST) From: Soichi Sumi Date: Tue, 12 Jan 2016 03:38:25 +0900 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114e4102601b180529134079 X-odins-Sophos-AV: Clean Subject: [Caml-list] CIL Installation with OPAM failed --001a114e4102601b180529134079 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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: =E2=88=97 install ocamlbuild 0 [required by cil] =E2=88=97 install ocamlfind 1.5.3 [required by cil] =E2=88=97 install cil 1.7.3 =3D=3D=3D=3D=3D =E2=88=97 3 =3D=3D=3D=3D=3D Do you want to continue ? [Y/n] y =3D-=3D- Gathering sources =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D= -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D [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 =3D-=3D- Processing actions -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D =E2=88=97 installed ocamlbuild.0 [ERROR] The compilation of ocamlfind failed at "make opt". Processing 2/3: [ocamlfind: make uninstall] #=3D=3D=3D ERROR while installing ocamlfind.1.5.3 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D# # 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=3D"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 =3D-=3D- Error report -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D The following actions were aborted =E2=88=97 install cil 1.7.3 The following actions failed =E2=88=97 install ocamlfind 1.5.3 The following changes have been performed =E2=88=97 install ocamlbuild 0 =3D-=3D- ocamlfind.1.5.3 troubleshooting =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D= -=3D-=3D-=3D =3D> Could not build ocamlfind. The most common reason for that is a missing 'm4' system package. ---------------------------------------------------------------------------= -------------------------------------------------- Any help will be appreciated. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --001a114e4102601b180529134079 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear caml-list members,

I'm tr= ying to install CIL in the following environment, but it failed.
= I need CIL to analyze source.
Does anyone give me a solution?=C2= =A0

OS: ubuntu 14.04
$ opam --version
$ 1.2.2
$ ocaml -version
$ The OCam= l toplevel, version 4.02.3

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

And we get :
--------------= ---------------------------------------------------------------------------= ------------------------------------
The following actions will b= e performed:
=C2=A0 =E2=88=97 =C2=A0install ocamlbuild 0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 [required by= cil]
=C2=A0 =E2=88=97 =C2=A0install ocamlfind =C2=A01.5.3 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 [required by cil]
=C2=A0 =E2=88=97 =C2=A0install cil =C2=A0 =C2=A0 =C2=A0 =C2=A01.7.3
=3D=3D=3D=3D=3D =E2=88=97 =C2=A03 =3D=3D=3D=3D=3D
Do you wa= nt to continue ? [Y/n] y

=3D-=3D- Gathering source= s =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D

=3D-=3D- Processing actions -=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D= -=3D-=3D
=E2=88=97 =C2=A0installed ocamlbuild.0
[ERROR]= The compilation of ocamlfind failed at "make opt".
Pro= cessing =C2=A02/3: [ocamlfind: make uninstall]
#=3D=3D=3D ERROR w= hile installing ocamlfind.1.5.3 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D#
= # opam-version 1.2.2
# os =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 linu= x
# command =C2=A0 =C2=A0 =C2=A0make opt
# path =C2=A0 = =C2=A0 =C2=A0 =C2=A0 /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3
# compiler =C2=A0 =C2=A0 3.11.2
# exit-code =C2=A0 =C2=A02
# env-file =C2=A0 =C2=A0 /home/sumi/.opam/3.11.2/build/ocamlfind.1.5.= 3/ocamlfind-19121-a00279.env
# stdout-file =C2=A0/home/sumi/.opam= /3.11.2/build/ocamlfind.1.5.3/ocamlfind-19121-a00279.out
# stderr= -file =C2=A0/home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/ocamlfind-19121-a= 00279.err
### stdout ###
# files=3D"bytes.cmx byte= s.a bytes.cmxa"; \
# [...]
# ocamlbuild -classic-display -no-links $files<= /div>
# /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:
# =C2=A0 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 wron= g extension (e.g. .opt instead of .native) or if the source files live in d= irectories that have not been specified as include directories.
#= Backtrace:
# =C2=A0 - Failed to build the target bytes.cmxs
# =C2=A0 =C2=A0 =C2=A0 - Building bytes.cmxs
# make[1]: Lea= ving directory `/home/sumi/.opam/3.11.2/build/ocamlfind.1.5.3/src/bytes'= ;
### stderr ###
# make[1]: *** [opt] Error 6
# make: *** [opt] Error 2



=3D-=3D- Error report -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D= -=3D
The following actions were aborted
=C2=A0 =E2=88= =97 =C2=A0install cil 1.7.3
The following actions failed
=C2=A0 =E2=88=97 =C2=A0install ocamlfind 1.5.3
The following ch= anges have been performed
=C2=A0 =E2=88=97 =C2=A0install ocamlbui= ld 0

=3D-=3D- ocamlfind.1.5.3 troubleshooting =3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D= -=3D-=3D
=3D> Could not build ocamlfind. The most common reaso= n for that is a missing 'm4'
=C2=A0 =C2=A0system package.=
----------------------------------------------------------------= -------------------------------------------------------------
Any help will be appreciated.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Soichi Sumi
Graduate School of Information Science and Technology
Osaka University
1-5, Yamadaoka, Suita, Osaka, Japan
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D
--001a114e4102601b180529134079--