2021-03-03 04:02 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002480Frama-CPlug-in > clangpublic2019-10-06 02:16
Reportergpajela 
Assigned Tovirgile 
PrioritynormalSeverityblockReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformLinux x86_64OSUbuntuOS Version18.04.3 LTS
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002480: Syntax error in reorder_defs.ml after running make
DescriptionI 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 InformationI 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.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0006876

virgile (developer)

Indeed, this file inadvertently uses a construction that only appeared in OCaml 4.06.0. If it's possible for you, the quickest workaround would be to opam switch to a newer version of OCaml.

Of course, arguably Frama-Clang should support the same OCaml versions than Frama-C, hence OCaml 4.05 as well. We'll try to propose something in the next release.

~0006877

gpajela (reporter)

After installing OCaml 4.06.0 using opam and trying again, there appear to be no errors. Thanks!
+Notes

-Issue History
Date Modified Username Field Change
2019-10-03 21:28 gpajela New Issue
2019-10-03 21:28 gpajela Status new => assigned
2019-10-03 21:28 gpajela Assigned To => virgile
2019-10-04 15:14 virgile Status assigned => confirmed
2019-10-04 15:15 virgile Note Added: 0006876
2019-10-06 02:16 gpajela Note Added: 0006877
+Issue History