J'essaie de compiler miniSAT sur Kali Linux 64 bits mais je reçois toujours le message d'erreur:
erreur fatale: zlib.h: aucun fichier ou répertoire de ce type
J'ai lu qu'il pourrait y avoir un problème de liaison qui empêche le compilateur de trouver les fichiers d'en-tête, mais je suis nouveau sur Linux et je ne sais pas comment résoudre ce problème.
Vous devez installer les fichiers de support de développement pour zlib, essayez:
Sudo apt-get install libz-dev
Autres noms de packages: zlib1g-dev
.
Si vous avez déjà zlib
bibliothèque, assurez-vous de compiler vos sources de code avec -lz
. Voir: zlib.h manquant dans ubunt .
J'ai rencontré une erreur zlib.h sur CentOS7 lors de l'exécution d'un Makefile et j'ai pensé que ma solution étrange pourrait également fonctionner pour d'autres.
Même si j'étais root, j'ai couru:
Sudo make
Je ne comprends toujours pas comment cela s'est produit, mais cela a fonctionné pour moi.
Installez zlib à partir de sa source, résolvez mon erreur similaire. Téléchargez la dernière version de this puis:
configure
make -j4
make install