So beheben Sie einen schwerwiegenden Fehler: zlib.h: Keine solche Datei oder kein solches Verzeichnis?
Ich versuche, miniSAT unter Kali Linux 64 Bit zu kompilieren, erhalte aber immer wieder die Fehlermeldung:
schwerwiegender Fehler: zlib.h: Keine solche Datei oder kein solches Verzeichnis
Ich habe gelesen, dass es möglicherweise ein Verknüpfungsproblem gibt, durch das der Compiler die Header-Dateien nicht finden kann, aber ich bin neu in Linux und weiß nicht, wie ich das lösen soll.
Sie sollten die Entwicklungsunterstützungsdateien für zlib installieren. Versuchen Sie Folgendes:
Sudo apt-get install libz-dev
Andere Paketnamen: zlib1g-dev.
Wenn Sie bereits eine zlib Bibliothek haben, stellen Sie sicher, dass Sie Ihre Codequellen mit -lz. Siehe: zlib.h fehlt in Ubunt .
Beim Ausführen eines Makefiles ist unter CentOS7 ein zlib.h-Fehler aufgetreten, und ich dachte, meine seltsame Lösung könnte auch für andere funktionieren.
Obwohl ich root war, lief ich:
Sudo make
Ich kann immer noch nicht verstehen, wie das passiert ist, aber es hat bei mir funktioniert.
Installieren Sie zlib von seiner Quelle, lösen Sie meinen ähnlichen Fehler. Laden Sie die letzte Version von this herunter.
configure
make -j4
make install