Could not find CIL include path. Is $CIL set correctly?. Stop.

[EduardoVera1]

Hello... I'm trying to run make in the genprog-code/src folder and give this error.

opam@b0004bce3ca4:~/opam-repository/genprog-code/src$ make ocamlfind: not found Makefile:41: *** Could not find CIL include path. Is $CIL set correctly?. Stop.

I'm runing ubuntu 20.04 on wsl

[clegoues]

Is Cil installed?

The master branch right now (as in, Sep 1, 2021) doesn't work past ocaml 4.05.0, but if you've set up an opam switch at that compiler version and done opam install cil, it should build out the box. You can check that Cil is locatable by running "ocamlfind query cil" and making sure it returns something. The Makefile uses ocamlfind first by default, so if that works you should be in business.

(I'm in the process of upgrading the source to work with ocaml 4.12.0, and the updated README will have instructions on Cil installation as well, but for the current codebase the above should suffice).

[akbarhashmi]

Hi I have the same problem, I've installed Cil set the path correctly but I get the mentioned error. ocamlfind query cil points to the path