Compiling on Windows (cygwin) fails
ID0002247: This issue was created automatically from Mantis Issue 2247. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002247 | Frama-C | Documentation > manuals | public | 2016-10-01 | 2016-12-05 |
Reporter | vlad | Assigned To | maroneze | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | Windows | OS Version | 7 |
Product Version | Frama-C Aluminium | Target Version | - | Fixed in Version | - |
Description :
Windows installation fails when building frama-c as described here: https://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:compiling_from_source
$ 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 =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=- 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 FRAMAC_TOP_SRCDIR=C:/Users/User/AppData/Roaming/SPB_Data/.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 FRAMAC_TOP_SRCDIR=C:/Users/User/AppData/Roaming/SPB_Data/.opam/4.02.3+mingw32/build/frama-c-base.20160501 all ### stdout ### # [...] ### stderr ### # 4 shift/reduce conflicts. # 7 shift/reduce conflicts. # src/libraries/utils/c_bindings.c:1:0: warning: -fPIC ignored for target (all code is position independent) # /**************************************************************************/ # ^ # src/libraries/utils/c_bindings.c:28:27: fatal error: caml/mlvalues.h: No such file or directory # compilation terminated. # make: *** [Makefile:882: src/libraries/utils/c_bindings.o] Error 1 =-=- 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