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
>
>
>