--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on May 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie plug-in



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