--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on June 2013 ---
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>