Le istruzioni fornite qui mi consentono di compilare senza errori. Si riduce a:
locate libcamlstr
che mi dice che libcamlstr può essere trovato in /usr/lib/ocaml (YMMV), quindi lo faccio:
cd /usr/lib/ocaml
sudo ln -s libcamlstr.a libstr.a
Quindi sono in grado di compilare il progetto:
cd /usr/local/src/cil
make clean && ./configure && make
Vedi l'ultimo commento in questo bug nel bug tracker di OCaml:
Errore 5247
Potresti semplicemente cambiare il makefile da
-lstr
a
-lcamlstr
In che modo Linux gestisce più separatori di percorsi consecutivi (/home////nomeutente///file)?
Linux – Unire /usr/bin e /usr/sbin in /bin (gnu/linux)?
Installa i binari in /bin, /sbin, /usr/bin e /usr/sbin, interazioni con --prefix e DESTDIR
Qual è la differenza tra #!/usr/bin/env bash e #!/usr/bin/bash?
usr/bin/ld:impossibile trovare -l<nomedellalibreria>
Non riesci a trovare -lm?
Perché /bin/sh punta a /bin/dash e non a /bin/bash??
/usr/bin/ld:impossibile trovare -lpython2.7
gcc - /usr/bin/ld errore:impossibile trovare <library> in /usr/local/lib anche se ldconfig lo elenca e il percorso è stato aggiunto a ld.so.conf
autorizzazione negata per il compositore in /usr/local/bin/
Spostato il contenuto di /bin in /usr/bin, è possibile annullare?