--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on July 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] making frama-c clang 0.0.5 fails with type error



Hi,

I wanted to try out the frama clang plugin following the instructions on
[1]. I chose the most current version tar ball (0.0.5). On executing the
"make" step, I get:

File "convert_acsl.ml", line 90, characters 14-17:
Error: This expression has type Logic_ptree.constant option
       but an expression was expected of type Logic_ptree.array_size
make: ***
[/home/marius/.opam/4.05.0+flambda/share/frama-c/Makefile.generic:78:
convert_acsl.cmo] Error 2

What is the problem here?

Thanks in advance,
Marius

[1] http://frama-c.com/frama-clang.html