Pokyny zde uvedené mi umožňují kompilaci bez chyb. Scvrkává se na:
locate libcamlstr
což mi říká, že libcamlstr lze nalézt v /usr/lib/ocaml (YMMV), takže já:
cd /usr/lib/ocaml
sudo ln -s libcamlstr.a libstr.a
Pak jsem schopen sestavit projekt:
cd /usr/local/src/cil
make clean && ./configure && make
Viz poslední komentář k této chybě v nástroji pro sledování chyb OCaml:
Chyba 5247
Můžete změnit soubor makefile z
-lstr
do
-lcamlstr