J’ai testé vos hypothèses et voici le résultat
Est-ce qu’il y a eu un problème dans la génération de ce Makefile ?
J’ai arrêté le serveur et lancé un compile : tout semble bien se passer
Le Makefile de src/Misc/ est bien généré et le make semble bien se passer.
Cependant chemeq n’est pas généré dans other/bin
Est-ce qu’il y a eu un problème dans l’exécution de ./configure dans compile ?
En examinant la sortie du configure dans compile, j’ai détecté un problème :
Compile units-filter: yes
Wait … flex is not available, Compile units : no
Compile chemeq: yes
Wait … flex is not available, Compile chemeq: no
Donc autoconf ne trouverait pas flex ?
J’ai alors essayé la seule compilation de chemeq dans Misc :
~/src/Misc$ make chemeq units-filter
uniteslex.cc:303:10: fatal error: FlexLexer.h: Aucun fichier ou dossier de ce type
En effet, FlexLexer.h n’est pas présent sur le système.
Voici l’explication trouvée : sur Debian et Ubuntu récents, il faut installer un paquet supplémentaire pour pouvoir utiliser FlexLex.
J’ai appliqué le conseil en installant le paquet suivant :
apt install libfl-dev
Ensuite j’ai relancé la compilation et ça fonctionne : flex est « trouvé », chemeq se compile bien et est bien installé dans other/bin
J’en conclue que pour l’environnement de mon instance (Debian 10) et au-delà il faut ajouter libfl-dev dans les prérequis d’installation de WIMS.
Sauf erreur de ma part, ce prérequis n’est pas à ce jour dans la procédure d’installation manuelle de WIMS.