| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0002480 | Frama-C | Plug-in > clang | public | 2019-10-03 21:28 | 2019-10-06 02:16 | ||||||||
| Reporter | gpajela | ||||||||||||
| Assigned To | virgile | ||||||||||||
| Priority | normal | Severity | block | Reproducibility | have not tried | ||||||||
| Status | confirmed | Resolution | open | ||||||||||
| Platform | Linux x86_64 | OS | Ubuntu | OS Version | 18.04.3 LTS | ||||||||
| Product Version | Frama-C 19-Potassium | ||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0002480: Syntax error in reorder_defs.ml after running make | ||||||||||||
| 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. | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
virgile (developer) 2019-10-04 15:15 |
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. |
|
gpajela (reporter) 2019-10-06 02:16 |
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 |