error in running build.sh

[6eanut]

First of all, thank you for exposing source code.
I want to implement sparrow locally, but I encounter the following problems when running build.sh. Is there any solution?

File "_none_", line 1: Error: No implementations provided for the following modules: Z referenced from /home/dafl/.opam/sparrow-4.13.1+flambda/lib/cil/cil.cmxa(Pretty), /home/dafl/.opam/sparrow-4.13.1+flambda/lib/cil/cil.cmxa(Cilint), /home/dafl/.opam/sparrow-4.13.1+flambda/lib/cil/cil.cmxa(Cil) Big_int_Z referenced from /home/dafl/.opam/sparrow-4.13.1+flambda/lib/cil/cil.cmxa(Cilint) make: *** [Makefile:5: all] Error 1

[spearo2]

This issue was most probably due to the outdated CIL module.
The modules are updated and should be fine by now.

[6eanut]

This issue was most probably due to the outdated CIL module. The modules are updated and should be fine by now.

thanks! I will try again.