Die hier gegebenen Anweisungen erlauben mir, ohne Fehler zu kompilieren. Es läuft auf Folgendes hinaus:
locate libcamlstr
was mir sagt, dass libcamlstr in /usr/lib/ocaml zu finden ist (YMMV), also tue ich:
cd /usr/lib/ocaml
sudo ln -s libcamlstr.a libstr.a
Dann kann ich das Projekt kompilieren:
cd /usr/local/src/cil
make clean && ./configure && make
Siehe den letzten Kommentar zu diesem Fehler im OCaml-Fehlertracker:
Fehler 5247
Sie könnten einfach das Makefile von
ändern-lstr
zu
-lcamlstr