0002480: Syntax error in reorder_defs.ml after running make

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

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

Notes
(0006876) 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.

(0006877) 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!

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