ID0002480: **This issue was created automatically from Mantis Issue 2480. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002480 | Frama-C | Plug-in > clang | public | 2019-10-03 | 2019-10-06 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | gpajela | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | block | **Reproducibility** | have not tried | | **Platform** | Linux x86_64 | **OS** | Ubuntu | **OS Version** | 18.04.3 LTS | | **Product Version** | Frama-C 19-Potassium | **Target Version** | - | **Fixed in Version** | - | ### Description : I am trying to follow the instructions at https://frama-c.com/frama-clang.html to install Frama-Clang. However, I get a "Syntax error" after I run make: $ make Generating .Makefile.plugin.generated Ocamlc intermediate_format.cmi Ocamlc intermediate_format_parser.cmi Ocamlc intermediate_format_parser.cmo Ocamlc frama_Clang_option.cmi Ocamlc frama_Clang_option.cmo Ocamlc fclang_datatype.cmi Ocamlc fclang_datatype.cmo Ocamlc reorder_defs.cmi Ocamlc reorder_defs.cmo File "reorder_defs.ml", line 310, characters 6-10: Error: Syntax error /data/loewenheim/a/gpajela/.opam/default/share/frama-c/Makefile.generic:77: recipe for target 'reorder_defs.cmo' failed make: *** [reorder_defs.cmo] Error 2 ### Additional Information : I am using Frama-C 19.0 Potassium, which I installed using opam pin. I am using version 2.0.4 of opam. I am using the default versions of OCaml and Clang for this version of Ubuntu: OCaml 4.05.0 and clang version 6.0.0.