Syntax error in reorder_defs.ml after running make
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.