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