| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002331 | Frama-C | Kernel > Makefile | public | 2017-11-07 19:12 | 2017-12-06 09:10 |
|
| Reporter | seberoon | |
| Assigned To | bobot | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | mac | OS | mac os | OS Version | 10.11.6 |
| Product Version | Frama-C 15-Phosphorus | |
| Target Version | | Fixed in Version | Frama-C 16-Sulfur | |
|
| Summary | 0002331: opam installation of frama-c-base fails |
| Description | Following opam installation instructions at https://frama-c.com/install-phosphorus-20170501.html#installing-frama-c-on-mac-os-x.
All ok up until opam install frama-c-base, which fails:
# File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19:
# Error: This expression has type string but an expression was expected of type
# bytes
This is using a fresh installation of homebrew and opam. |
| Additional Information | Mac OS 10.11.6
Xcode 8.2.1
|
| Tags | No tags attached. |
|
| Attached Files |  frama-c_install_fail.txt [^] (2,270 bytes) 2017-11-07 19:12 [Show Content] [Hide Content]pflap845085:~ seb$ opam install frama-c-base
The following actions will be performed:
∗ install frama-c-base 20170501
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
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
[frama-c-base] Archive in cache
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
[ERROR] The compilation of frama-c-base failed at "make -j4".
Processing 1/1: [frama-c-base: rm]
#=== ERROR while installing frama-c-base.20170501 =============================#
# opam-version 1.2.2
# os darwin
# command make -j4
# path /Users/seb/.opam/system/build/frama-c-base.20170501
# compiler system (4.06.0)
# exit-code 2
# env-file /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.env
# stdout-file /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.out
# stderr-file /Users/seb/.opam/system/build/frama-c-base.20170501/frama-c-base-54084-c61e7b.err
### stdout ###
# [...]
# Ocamlc src/libraries/stdlib/transitioning.cmo
# Ocamlc src/libraries/stdlib/FCSet.cmo
# Ocamlc src/libraries/stdlib/FCMap.cmo
# Ocamlc src/libraries/stdlib/FCBuffer.cmi
# Ocamlc src/libraries/stdlib/FCHashtbl.cmo
# Ocamlc src/libraries/stdlib/extlib.cmo
# Ocamlc src/libraries/datatype/unmarshal.cmo
# Ocamlc src/libraries/datatype/unmarshal_z.cmi
# Ocamlc src/libraries/utils/pretty_utils.cmo
# Ocamlc src/libraries/utils/hook.cmo
### stderr ###
# 4 shift/reduce conflicts.
# 7 shift/reduce conflicts.
# File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19:
# Error: This expression has type string but an expression was expected of type
# bytes
# make[1]: *** [numbers.cmo] Error 2
# make[1]: *** Waiting for unfinished jobs....
# make: *** [src/plugins/wp/qed/bin/Qed.cmo] Error 2
# make: *** Waiting for unfinished jobs....
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
The following actions failed
∗ install frama-c-base 20170501
No changes have been performed
|
|
Relationships 
Relationships