Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)

Subject: [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
From: virgile.prevosto at cea.fr (Virgile Prevosto)
Date: Wed, 31 Mar 2010 15:47:15 +0200
In-reply-to: <m2n55ade88c1003301700le331746pfac75bcce0bb0ac8@mail.gmail.com>
References: <55ade88c1003291428g1be1ece0u2183cba23b7f2613@mail.gmail.com> <20100330085508.26905358@is010235> <b15d09071003300029m5c906cbna879144ffafd1b22@mail.gmail.com> <k2x55ade88c1003301335q58762cc1x3390afd457a17daa@mail.gmail.com> <m2n55ade88c1003301700le331746pfac75bcce0bb0ac8@mail.gmail.com>

Hello,

Le mar. 30 mars 2010 17:00:01 CEST,
aintest3f aintest3l <aintest3 at gmail.com> a ?crit :

> so i finally give up on source installation and just go with the osx 10.5
> binary from the site, hoping it would work well...
> but i can't seem to analyze and source, from frama-c gui, new project > add
> source > *.c > close. nothing happen, I don't see and source listed on
> frama-c on the upper left corner frame.

Admittedly, the labels of the button could be clearer in the dialog
box, but to create a new project, you should click on 'new', not
'close' after having added the files.

-- 
E tutto per oggi, a la prossima volta.
Virgile

References:
- [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  - From: aintest3 at gmail.com (aintest3f aintest3l)
- [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  - From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  - From: pascal.cuoq at gmail.com (Pascal Cuoq)
- [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  - From: aintest3 at gmail.com (aintest3f aintest3l)
- [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  - From: aintest3 at gmail.com (aintest3f aintest3l)