Getting frama-c version through --enable-external
ID0001070: This issue was created automatically from Mantis Issue 1070. Further discussion may take place here.
|ID0001070||Frama-C||Kernel > configure||public||2012-01-23||2014-02-12|
|Product Version||-||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information