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

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