--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on July 2018 ---
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