Comment installer Coq.
Comment installer Coq. - Logiciels - Windows & Software
Marsh Posté le 03-03-2005 à 18:07:36
Si vous savez ou je peux trouver de l'aide ...
---------------
Vassia Pupkin
Marsh Posté le 09-03-2005 à 20:39:58
| Vassia Pupkin a écrit : Si vous savez ou je peux trouver de l'aide ... |
You must add the C:\coq\bin path to your environment variable PATH. |
Cela signifie qu'il faut ajouter le chemin dans la variable d'environnement PATH. Pour cela (je suppose que ton système d'exploitation est Windows :
Va dans "Panneau de configuration" --> "Performances et maintenance" --> "Système" --> Onglet "Avancés" --> "Variables d'environnement"
Là tu dois avoir une variable système appelé Path. Tu cliques dessus et tu la modifie en rajoutant le chemin du répertoire bin là où tu as dézippé le fichier : Sur l'exemple, ce serait ;C:\coq\bin
Normalement ça devrait suffire !!! 
Sujets relatifs:
- installer des plugins pour firefox
- Impossible d'installer : Alcohol 120 , Alcohol 52 , Daemon Tools
- [RESOLU] [DirectX] installer la V9
- Installer Internet Explorer 6 sans internet
- Pourquoi je sais installer Msn Messenger 5 et pas 6.2?
- Windows sur DD externe Ne veut pas s'installer!!
- Installer tous ses softs d'un coup ?
- Installer le SP2 permet d'avoir des mise a jour non dispo avec le SP1?
- Impossible d'installer windows 2000
- Probléme avec Windows Installer
Marsh Posté le 27-02-2005 à 15:08:02
J'ai téléchargé et unzippé l'assistant de preuve Coq.
Mais je n'arrive pas à l'installer et ne comprends pas les instructions données à cette adresse :
ftp://ftp.inria.fr/INRIA/coq/V8.0/INSTALL.win
Je vous serais très reconnaissant si vous pouviez m'aider, car je ne trouve strictement aucune autre info à ce sujet.
---------------
Vassia Pupkin