0002463: Error in frama-clang make file - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002463

Frama-C

Plug-in > clang

public

2019-07-07 15:17

2019-07-08 09:04

Reporter

ainne26

Assigned To

virgile

Priority

high

Severity

major

Reproducibility

have not tried

Status

assigned

Resolution

open

Platform

Ubuntu

OS Version

ubuntu-18.04.2

Product Version

Target Version

Fixed in Version

Summary

0002463: Error in frama-clang make file

Description

I am trying to install frama-clang by following the instruction given on this website. However when I run make the following errors comes

~/Desktop/frama-clang-0.0.6$ make
ocamlfind ocamlc -c -I . -I "/usr/lib"/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I ""/usr/lib"/frama-c" convert_acsl.ml
File "convert_acsl.ml", line 84, characters 15-24:
Error: Unbound constructor ASinteger
Hint: Did you mean Linteger or LTinteger?
/usr/share/frama-c/Makefile.generic:77: recipe for target 'convert_acsl.cmo' failed
make: *** [convert_acsl.cmo] Error 2

I do not understand, please give me some suggestions to solve these problems.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

~0006814

virgile (developer)

2019-07-08 09:04

Which version of Frama-C are you using to compile Frama-Clang? frama-clang.0.0.6 is only compatible with Frama-C 17.1. If you're using opam, you'll have to pin it to this version (opam pin add frama-c 17.1).

Notes

Date Modified	Username	Field	Change
Issue History
2019-07-07 15:17	ainne26	New Issue
2019-07-07 15:17	ainne26	Status	new => assigned
2019-07-07 15:17	ainne26	Assigned To	=> virgile
2019-07-08 09:04	virgile	Note Added: 0006814

Issue History