Installing CIL

Here is installation
If there is an error

unbound module Big_int

You can install num by

opam install num

Because big_int is under package “num”

There are also people saying installing “batteries” can solve the problem. But it didn’t work for me.

Here is a detailed version of installing OCaml and a mooc course about it. Here is a detailed version of installing OPAM.

This is the maillist of CIL.

On Stackoverflow, there is a similar issue about unbound module. But it has little relationship with our issue.