0001070: Getting frama-c version through --enable-external

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001070

Frama-C

Kernel > configure

public

2012-01-23 16:43

2014-02-12 16:54

Reporter

signoles

Assigned To

virgile

Priority

normal

Severity

feature

Reproducibility

N/A

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

Frama-C Oxygen-20120901

Summary

0001070: Getting frama-c version through --enable-external

Description

In a configure of an external plug-in, it would be useful to check the Frama-C version. A basic solution which would be based on "frama-c -version" is not correct when the configure is called through --enable-external.

Steps To Reproduce

At this day, plug-in E-ACSL does this by running frama-c -version.

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2012-01-23 16:43	signoles	New Issue
2012-01-23 16:43	signoles	Status	new => assigned
2012-01-23 16:43	signoles	Assigned To	=> virgile
2012-02-21 18:49	svn	Checkin
2012-02-22 14:15	virgile	Status	assigned => resolved
2012-02-22 14:15	virgile	Resolution	open => fixed
2012-09-19 17:15	signoles	Fixed in Version	=> Frama-C Oxygen-20120901
2012-09-19 17:16	signoles	Status	resolved => closed