--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on June 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Trying to install frama-c in cygwin, find the following errors



Trying to install frama-c in cygwin, find the following errors. Someone
help! Thanks!

...

Preparing    Wp-Coq Sources
Uncaught exception: Util.UserError("_", _)
Makefile:49: recipe for target `depend' failed
make[1]: *** [depend] Error 2
src/wp/Makefile:285: recipe for target `.make-wpcoqs' failed
make: *** [.make-wpcoqs] Error 2



note that, coqc and ocaml are both the latest version


Best wishes!
                         Yours Sincerely
                                   Zhaopeng
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130605/055dfafc/attachment.html>