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