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

[Frama-c-discuss] Installation problem



Hi,

I solved the problem with the installation of CYGWIN. I run why-config
that detected the Coq and simplify installed.
Many thanks for your help.

Best regards,
Rovedy

2009/3/31 Hollas Boris (CR/AEY1) <Boris.Hollas at de.bosch.com>:
> You might try cygwin instead. I have Frama-C running under cygwin without major problems. Remember to set your $PATH for bash and to install a prover for Jessie. You must run why-config before you invoke Jessie for the first time.
>
> - Boris
>
> _______________________________________________
> 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
>