Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002402Frama-CPlug-in > clangpublic2018-10-01 13:042018-10-03 18:01
Reporterbarafael 
Assigned Tovirgile 
PrioritynormalSeverityblockReproducibilityalways
StatusassignedResolutionopen 
PlatformUbuntuOSLinuxOS Version18.04 LTS
Product VersionFrama-C 17 Chlorine 
Target VersionFixed in Version 
Summary0002402: frama-clang fails to compile
DescriptionWhen trying to compile frama-clang, I encounter

Error: Unbounded constructor ASinteger

in file convert_acsl.ml.
ASidentifier is also missing.
Steps To ReproduceGet sources for frama-clang-0.0.6, configure, make
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006656)
virgile (developer)
2018-10-02 14:28

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.
(0006658)
barafael (reporter)
2018-10-03 16:37

> 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.
(0006659)
virgile (developer)
2018-10-03 18:01

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.

- Issue History
Date Modified Username Field Change
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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker