[Why3-club] Compilation error with coq8.4

Alan Schmitt alan.schmitt at polytechnique.org
Thu Sep 6 17:18:31 CEST 2012


Virgile Prevosto <virgile.prevosto at m4x.org> writes:

> FWIW, here is a patch that let Why3 compile against Coq 8.4
> (Disclaimer: it has not been extensively tested). It can also be found
> in Godi's apps-why3 package (http://godi.camlcity.org/godi/index.html)

I tried it on godi and I get an error at the end of the installation:

> ===> Registering installation for apps-why3-0.73godi99
> Error during PLIST expansion: File not found: /Users/schmitta/godi/bin/why3ml
> Error: Exec error: File /Users/schmitta/godi/build/apps/apps-why3/./../../mk/bsd.pkg.mk, line 1242: Command returned with non-zero exit code
> Error: Exec error: File /Users/schmitta/godi/build/apps/apps-why3/./../../mk/bsd.pkg.mk, line 1187: Command returned with non-zero exit code
> Error: Exec error: File /Users/schmitta/godi/build/apps/apps-why3/./../../mk/bsd.pkg.mk, line 1456: Command returned with non-zero exit code
> Error: Exec error: File /Users/schmitta/godi/build/apps/apps-why3/./../../mk/bsd.pkg.mk, line 1384: Command returned with non-zero exit code

I checked and the file why3ml is indeed not there.

Alan



More information about the Why3-club mailing list