Pages : 1
#1 Le 25/02/2017, à 22:33
- asymptotik
cpphs
Bonjour,
je suis en train d'installer Agda et je rencontre la difficulté suivante. Après avoir lancé la commande
cabal install Agda
, l'installation échoue car on me demande une version >= 1.20.2 de cpphs, tandis que la version 1.19.3 est installée sur mon ordi.
J'ai téléchargé ici la version 1.20.2-3, puis je suis les instructions dans le readme qui me demande de lancer
hmake cpphs
mais j'obtiens l'erreur "la commande hmake est introuvable".
J'aurais donc besoin de vos lumières.
Merci
Hors ligne
#2 Le 28/02/2017, à 22:58
- Vobul
Re : cpphs
Essaie avec juste make pour voir ?
Vobul
Utilisez le retour utilisable de commandes !!!
J'aime la langue française, mais je parle franglais, deal with it.
RTFM
Hors ligne
Pages : 1