Las instrucciones dadas aquí me permiten compilar sin errores. Se reduce a:
locate libcamlstr
lo que me dice que libcamlstr se puede encontrar en /usr/lib/ocaml (YMMV), así lo hago:
cd /usr/lib/ocaml
sudo ln -s libcamlstr.a libstr.a
Entonces puedo compilar el proyecto:
cd /usr/local/src/cil
make clean && ./configure && make
Vea el último comentario de este error en el rastreador de errores de OCaml:
Error 5247
Podría simplemente cambiar el archivo MAKE de
-lstr
a
-lcamlstr
Reparar el subproceso /usr/bin/dpkg devolvió un código de error(1)
¿Cómo maneja Linux múltiples separadores de rutas consecutivas (/home////username///file)?
¿No se puede encontrar -lm?
¿Por qué /bin/sh apunta a /bin/dash y no a /bin/bash?
Instalar binarios en /bin, /sbin, /usr/bin y /usr/sbin, interacciones con --prefix y DESTDIR
gcc - /usr/bin/ld error:no se puede encontrar <library> en /usr/local/lib aunque ldconfig lo incluye en la lista y la ruta se agregó a ld.so.conf
permiso denegado para el compositor en /usr/local/bin/
¿Cuáles son los significados de /usr/sbin, /usr/local/sbin y /usr/local/bin?
Se movió el contenido de /bin a /usr/bin, ¿es posible deshacerlo?
¿Deberían vivir los sitios web en /var/ o /usr/ según el uso recomendado?
#!/bin/sh vs #!/bin/bash para máxima portabilidad