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 D8B037FDC8 for ; Tue, 12 Jan 2016 00:20:52 +0100 (CET) IronPort-PHdr: 9a23:uon3YRZW++EwnqLlSupI/6L/LSx+4OfEezUN459isYplN5qZpci4bnLW6fgltlLVR4KTs6sC0LqI9fC5EjVdvN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDsvc2KKFwV2XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrVdCHEiMnspzMztrxjKCwWVtVUGVWBDqR1JCAjEpCrnW5a55jC/rfd42QGbJtGwSqs9Wj3n8uFiQ1nqkHFUZHYC7GjLh5ko3+pgqxW7qkknzg== 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: A0AfAQBxOJRWldaKAYVehHkGiFOxUIQHhg8CgSFDEAEBAQEBAQEBEAEBAQEHDQkJHzCCLYIIAQEDARIRWwsLBAEGNwICIhMFHRkiiAQHoX6BMT4xi0iNdYJGDAEghlaEf4QmEQFrglCBSQWHYYZUPoQdhAONWYFeh2GFPopegjiBOzmCUYFzLzSFA4FCAQEB X-IPAS-Result: A0AfAQBxOJRWldaKAYVehHkGiFOxUIQHhg8CgSFDEAEBAQEBAQEBEAEBAQEHDQkJHzCCLYIIAQEDARIRWwsLBAEGNwICIhMFHRkiiAQHoX6BMT4xi0iNdYJGDAEghlaEf4QmEQFrglCBSQWHYYZUPoQdhAONWYFeh2GFPopegjiBOzmCUYFzLzSFA4FCAQEB X-IronPort-AV: E=Sophos;i="5.20,555,1444687200"; d="scan'208";a="160083712" 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; 12 Jan 2016 00:20:47 +0100 Received: (qmail 3722 invoked by uid 700); 12 Jan 2016 08:20:45 +0900 Received: from 172.30.102.204 (s-sumi+ist@172.30.102.204) by m4 (envelope-from , uid 0) with qmail-scanner-2.08 (clamdscan: 0.96.5/21247. Clear:RC:0(172.30.102.204):. Processed in 0.019207 secs); 11 Jan 2016 23:20:45 -0000 X-Qmail-Scanner-Mail-From: s-sumi@ist.osaka-u.ac.jp via m4 X-Qmail-Scanner: 2.08 (Clear:RC:0(172.30.102.204):. Processed in 0.019207 secs) Received: from unknown (HELO mail-yk0-f176.google.com) (s-sumi+ist@172.30.102.204) by 172.30.102.45 with SMTP; 12 Jan 2016 08:20:45 +0900 Received: by mail-yk0-f176.google.com with SMTP id a85so371760140ykb.1 for ; Mon, 11 Jan 2016 15:20:45 -0800 (PST) X-Received: by 10.129.52.151 with SMTP id b145mr77892808ywa.201.1452554444851; Mon, 11 Jan 2016 15:20:44 -0800 (PST) MIME-Version: 1.0 Received: by 10.37.39.6 with HTTP; Mon, 11 Jan 2016 15:20:05 -0800 (PST) In-Reply-To: <3C74C4A268144073ABDF9856575A1FAE@erratique.ch> References: <3C74C4A268144073ABDF9856575A1FAE@erratique.ch> From: Soichi Sumi Date: Tue, 12 Jan 2016 08:20:05 +0900 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114086f8b3d55d0529172f86 X-odins-Sophos-AV: Clean Subject: Re: [Caml-list] CIL Installation with OPAM failed --001a114086f8b3d55d0529172f86 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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! =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 2016-01-12 3:54 GMT+09:00 Daniel B=C3=BCnzli : > 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 > > > --001a114086f8b3d55d0529172f86 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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!

=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 Te= chnology
Osaka University
1-5, Yamadaoka, Suita, Os= aka, 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

2016-01-12 3:54 GMT+09:00 Daniel B=C3=BCnzli= <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



--001a114086f8b3d55d0529172f86--