|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002402||Frama-C||Plug-in > clang||public||2018-10-01 13:04||2018-10-03 18:01|
|Platform||Ubuntu||OS||Linux||OS Version||18.04 LTS|
|Product Version||Frama-C 17-Chlorine|
|Target Version||Fixed in Version|
|Summary||0002402: frama-clang fails to compile|
|Description||When trying to compile frama-clang, I encounter|
Error: Unbounded constructor ASinteger
in file convert_acsl.ml.
ASidentifier is also missing.
|Steps To Reproduce||Get sources for frama-clang-0.0.6, configure, make|
|Tags||No tags attached.|
Are you sure you are compiling frama-clang against Frama-C 17 Chlorine as indicated in the report? The ASinteger constructor was indeed introduced in this version of Frama-C kernel, and older versions of Frama-C do not contain it.
frama-clang 0.0.6 is meant to be compiled with Frama-C 17 Chlorine only.
> frama-clang 0.0.6 is meant to be compiled with Frama-C 17 Chlorine only.
Ok, I overlooked that. I have installed Phosphorus. Trying to install on ubuntu (llvm-3.9 required) but many headers are missing (headers which the llvm-6.0 package has, but for 3.9 they cannot be found).
Ironically, on arch I cannot use frama-c-gui, but there is an up-to-date version of it at least.
I have to admit that I'm unable to understand what your setup exactly is. Hence, I won't be able to give anything else than general advices:
- in Ubuntu, you need to install the -dev versions of the package (from what I remember, this should be something like llvm-dev and libclang-dev, possibly with a version number somewhere). Note also that the Debian packager of llvm and clang has a certain tendency to use different configuration options from pristine llvm/clang, which has caused some issues in the past
- you may want to consider opam (https://opam.ocaml.org/) to install frama-c (both on Debian and Arch), this should give you the latest version fairly easily.
|2018-10-01 13:04||barafael||New Issue|
|2018-10-01 13:04||barafael||Status||new => assigned|
|2018-10-01 13:04||barafael||Assigned To||=> virgile|
|2018-10-02 14:28||virgile||Note Added: 0006656|
|2018-10-02 14:28||virgile||Status||assigned => feedback|
|2018-10-03 16:37||barafael||Note Added: 0006658|
|2018-10-03 16:37||barafael||Status||feedback => assigned|
|2018-10-03 18:01||virgile||Note Added: 0006659|