ID0002463: **This issue was created automatically from Mantis Issue 2463. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002463 | Frama-C | Plug-in > clang | public | 2019-07-07 | 2019-07-08 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | ainne26 | **Assigned To** | virgile | **Resolution** | open | | **Priority** | high | **Severity** | major | **Reproducibility** | have not tried | | **Platform** | - | **OS** | Ubuntu | **OS Version** | ubuntu-18.04.2 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### 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.