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

[Frama-c-discuss] Did clang 0.05 surport frama-c Chlorine



Hi, I tried to build clang, but is said that:
Ocamlc       convert_acsl.cmo
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
/home/talos/.opam/system/share/frama-c/Makefile.generic:77: recipe for target 'convert_acsl.cmo' failed
make: *** [convert_acsl.cmo] Error 2


and the configure result is:
checking for frama-c-gui... yes
checking for Makefile.config.in... yes
frama_clang... yes
checking for g++... g++
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for camlp4o... yes
checking for clang... clang
checking for clang++... clang++
checking for llvm-config... llvm-config
checking for /home/talos/Downloads/clang+llvm-3.8.1-x86_64-linux-gnu-ubuntu-16.04/include/clang... yes
checking LLVM version... 3.8.1: Good
configure: frama_clang: yes
configure: creating ./config.status
config.status: creating ./Makefile.config

thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180625/85edea24/attachment.html>