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] Trying to install frama-c in cygwin, find the following errors

  • Subject: [Frama-c-discuss] Trying to install frama-c in cygwin, find the following errors
  • From: zhaopeng.li at gmail.com (Zhaopeng Li)
  • Date: Wed, 5 Jun 2013 18:03:48 +0800
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>