--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on September 2010 ---
Yes, sorry, this is why-config (not only on Mac). -- Virgile Prevosto Ing?nieur-Chercheur CEA, LIST, Laboratoire des logiciels s?rs -------- Message d'origine-------- De: frama-c-discuss-bounces at lists.gforge.inria.fr de la part de Jens Gerlach Date: dim. 19/09/2010 11:14 ?: Frama-C public discussion Objet : AW: [Frama-c-discuss] Problems with Window Installation of Frama-C On mac os it reads "why-config" not "why_config". -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: non disponible Type: application/ms-tnef Taille: 3320 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100920/f5fd10dd/attachment.bin>