Failure to compile on windows using cygwin
ID0002251: This issue was created automatically from Mantis Issue 2251. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002251 | Frama-C | Documentation > manuals | public | 2016-10-14 | 2016-12-08 |
| Reporter | dotwa | Assigned To | maroneze | Resolution | unable to reproduce |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | Windows | OS Version | 7 |
| Product Version | Frama-C Aluminium | Target Version | - | Fixed in Version | - |
Description :
This could be the same issue as :https://bts.frama-c.com/view.php?id=2247 as I get exactly the same error message. On that page the developer has replied and said it should now work, which if is the same issue is not the case for my computer.
This error message appears when trying to compile frama-c using the instructions for windows provided by the wiki:
$ OPAMYES=yes opam depext -i frama-c
Detecting depexts using flags: x86 mswindows win32 cygwinports
The following system packages are needed:
- gmp
- gtk2.0
- gtksourceview2.0
- libgnomecanvas2
- pkg-config
installed:gmp installed:gtk2.0 installed:gtksourceview2.0 installed:libgnomecanvas2 installed:pkg-config
All required OS packages found.
Now letting OPAM install the packages
The following actions will be performed: ∗ install frama-c-base 20160501* [required by frama-c] Why3 can be used by the WP plug-in for running additional automatic solvers Coq can be used with the WP plug-in for proving interactively proof obligations ∗ install frama-c 20160501 Alt-Ergo Graphical Interface can be used by the WP plug-in ===== ∗ 2 =====
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [frama-c-base: git] Command started [frama-c-base: git] Command started [frama-c-base: git] Command started [frama-c-base: git] Command started [frama-c-base] git+https://github.com/maroneze/Frama-C-snapshot already up-to-date
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [frama-c-base: sh] Command started [frama-c-base: ./configure] Command started [frama-c-base: make all] Command started [ERROR] The compilation of frama-c-base failed at "make -j1 FRAMAC_TOP_SRCDIR=C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501 all". [frama-c-base: sh] Command started [frama-c-base: ./configure] Command started [frama-c-base: make uninstall] Command started [frama-c-base: rm] Command started
#=== ERROR while compiling frama-c-base.20160501 ==============================#
opam-version 1.3.0~dev (98188f141dbeb429258f2b2c00f6240d0af02b84)
os win32
command make -j1 FRAMAC_TOP_SRCDIR=C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501 all
path C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501
exit-code 2
env-file C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501\frama-c-base-172-1872ec.env
stdout-file C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501\frama-c-base-172-1872ec.out
stderr-file C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501\frama-c-base-172-1872ec.err
stdout
Generating configure
Generating configure
stderr
make: autoconf: Command not found
make[1]: autoconf: Command not found
C:/cygwin32/home/User/.opam/4.02.3+mingw32/build/frama-c-base.20160501/share/Makefile.dynamic:202: share/Makefile.kernel: No such file or directory
make[1]: *** [Makefile:2018: configure] Error 127
make: *** [Makefile:2024: .make-clean] Error 2
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following actions were aborted ∗ install frama-c 20160501 The following actions failed λ build frama-c-base 20160501 No changes have been performed
Steps To Reproduce :
Follow the steps to install Frama-c for windows.
OPAMYES=yes opam depext -i frama-c is the line in the script where the error is from