View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0002463 | Frama-C | Plug-in > clang | public | 2019-07-07 15:17 | 2019-07-08 09:04 | ||||||||
Reporter | ainne26 | ||||||||||||
Assigned To | virgile | ||||||||||||
Priority | high | Severity | major | Reproducibility | have not tried | ||||||||
Status | assigned | Resolution | open | ||||||||||
Platform | OS | Ubuntu | OS Version | ubuntu-18.04.2 | |||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0002463: Error in frama-clang make file | ||||||||||||
Description | I am trying to install frama-clang by following the instruction given on this website. However when I run make the following errors comes ~/Desktop/frama-clang-0.0.6$ make ocamlfind ocamlc -c -I . -I "/usr/lib"/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I ""/usr/lib"/frama-c" convert_acsl.ml File "convert_acsl.ml", line 84, characters 15-24: Error: Unbound constructor ASinteger Hint: Did you mean Linteger or LTinteger? /usr/share/frama-c/Makefile.generic:77: recipe for target 'convert_acsl.cmo' failed make: *** [convert_acsl.cmo] Error 2 I do not understand, please give me some suggestions to solve these problems. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
![]() |
|
virgile (developer) 2019-07-08 09:04 |
Which version of Frama-C are you using to compile Frama-Clang? frama-clang.0.0.6 is only compatible with Frama-C 17.1. If you're using opam, you'll have to pin it to this version (opam pin add frama-c 17.1). |