Avez-vous bien suivi les étapes indiquées ici :
https://wiki.wimsedu.info/doku.php?id=installation:debian:manual
On y trouve ceci :
Installer les logiciels tiers indispensables :
apt-get install make g++ [...]
avec ca, vous ne devriez pas avoir de » make: not found ».
Olivier Bado-Faustin / Université Côte d’Azur