Ubuntu-fr

Glorfi

Onglet outils et développement non accessible dans le menu démarrer

Bonjour,

Je viens d'installer Frama-c (compilateur de language C) et celui-ci s'est installé dans l'onglet outils et développement qui n'est pas accessible dans le menu démarrer
J'ai essayé de l'exécuter via : "executer un programme" en écrivant : frama-c, mais rien ne se passe ...
Un petit coup de main serait le bien venu

Damien

tiramiseb

Re : Onglet outils et développement non accessible dans le menu démarrer

Salut,

Je viens d'installer Frama-c (compilateur de language C)

Frama-C n'est pas un compilateur, c'est un framework d'analyse de code source

J'ai essayé de l'exécuter via : "executer un programme" en écrivant : frama-c, mais rien ne se passe ...

La commande pour lancer Frama-C est :

frama-c-gui

---

Sébastien Maccagnoni - https://www.maccagnoni.eu - https://www.domotego.com

Glorfi

Re : Onglet outils et développement non accessible dans le menu démarrer

Aaaah super ça fonctionne

Merci tiramiseb!

The Uploader

Re : Onglet outils et développement non accessible dans le menu démarrer

Salut

Y'a un menu démarrer dans Xfce ?

Si tu n'as pas frama-c-gui dans le menu des applications, tu peux rajouter ce texte dans ~/.local/share/applications/frama-c-gui.desktop :

[Desktop Entry]
Encoding=UTF-8
Type=Application
Icon=application-default-icon
Name=Frama-C
Comment=framework d'analyse de code source
Terminal=false
StartupNotify=false
Exec=frama-c-gui
Categories=Application;Development;

(le dossier ~/.local/share/applications/ est à créer s'il n'existe pas)

---

- Oldies PC : Intel Pentium 3 @ 800 Mhz sur CM ASUS P2B-F, GeForce 4 Ti4800 SE, Disque Dur Hitachi 160 Go, 512 Mo de RAM, 3DFX Voodoo 2, Sound Blaster 16 ISA PnP, Windows 98 SE / XP)
- Desktop : Intel Core i7 6700K @ 4 GHz sur CM ASUS Z170-P, GeForce GTX 1070, SSD Samsung 850 EVO 1 To, 16 Go de RAM, Disque Dur Seagate Barracuda 3 To, Windows 10