#1 Le 27/12/2007, à 18:36
- LJ
PROB installation :ADHOC (Automatic Derivation in the HOare Calculus)
Bonsoir,
Je n'ai pas reussi a installer ADHOC :s
On peut le trouver ::ici
Je suis sur d'une chose ,il faut le compiler avec CAML.
La version disponible sur INRIA.fr marche pas. J'ai opte pour camllight mais je sais pas comment compiler ??? sinon je pense qu'il faut rectifier le MAKEFILE.
PS: a chaque fois je trouve un prog 'installable' ,je reussi jamais a l'installer . IL faut penser a modifier les procedures d'installations pour faciliter la vie pour des newbies comme MOI
Hors ligne
#2 Le 28/12/2007, à 02:32
- best_friend_fr
Re : PROB installation :ADHOC (Automatic Derivation in the HOare Calculus)
salut
Ce n'est pas du code caml light, mais ocaml
Quand a la facilite, tu cherches aussi des programmes exotiques...
sudo apt-get install ocaml
make
PS: dans ce cas la, mettre le message d'erreur, du genre
make: ocamlc: Command not found
peut aider
Dernière modification par best_friend_fr (Le 28/12/2007, à 02:34)
sudo apt-get replace langage_sms by grammaire orthographe ponctuation
La documentation est avant tout faite pour ceux qui posent les questions, et non ceux qui y répondent
Best_friend_fr
Hors ligne
#3 Le 28/12/2007, à 17:02
- LJ
Re : PROB installation :ADHOC (Automatic Derivation in the HOare Calculus)
toto@laptop:~$ sudo apt-get ocaml
E: L'opération ocaml n'est pas valable
negative !!
Hors ligne
#4 Le 28/12/2007, à 19:51
- best_friend_fr
Re : PROB installation :ADHOC (Automatic Derivation in the HOare Calculus)
donc relis ce que je t'ai ecrit de faire, refais le, et evite de poster avec des erreurs comme ca.
sudo apt-get replace langage_sms by grammaire orthographe ponctuation
La documentation est avant tout faite pour ceux qui posent les questions, et non ceux qui y répondent
Best_friend_fr
Hors ligne