Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Did clang 0.05 surport frama-c Chlorine
  • From: wlxie2000 at 163.com (谢文龙)
  • Date: Mon, 25 Jun 2018 17:31:43 +0800 (CST)
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>