Les instructions données ici me permettent de compiler sans erreur. Cela se résume à :
locate libcamlstr
qui me dit que libcamlstr peut être trouvé dans /usr/lib/ocaml (YMMV), donc je fais :
cd /usr/lib/ocaml
sudo ln -s libcamlstr.a libstr.a
Ensuite, je peux compiler le projet :
cd /usr/local/src/cil
make clean && ./configure && make
Voir le dernier commentaire de ce bogue dans le traqueur de bogues OCaml :
Bogue 5247
Vous pouvez simplement changer le makefile de
-lstr
à
-lcamlstr