--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on May 2009 ---
Dear, you can try to give an abolute path : /usr/bin/coqide If it works, then extends your path in your .bashrc file. If not, then type : sudo updatedb locate coqide it will give you the application location. Regards, Nicolas. Emilie.Timbou at continental-corporation.com a ?crit : > > I tried just the command : coqide > I get: > > /> bash : coqide : command not found/ > > On the PC, Coq and CoqIde are installed. > Thereafter, I tried to launch the Coq tool without using the Bash Shell, > but I do not have a concrete example in order to properly test it to see > its functionality. > For now, I have not yet found a solution to this problem. > > > ------------------------------------------------------------------------ > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: nicolas_stouls.vcf Type: text/x-vcard Taille: 445 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090512/481f825d/attachment.vcf