| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0001903 | Frama-C | Kernel > configure | public | 2014-07-30 18:18 | 2014-08-04 15:44 | ||||
| Reporter | Julien_t | ||||||||
| Assigned To | signoles | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Platform | OS | Gnu/linux Debian | OS Version | Debian 3.14.12-1 | |||||
| Product Version | Frama-C Fluorine-20130601 | ||||||||
| Target Version | Fixed in Version | Frama-C Neon-20140301 | |||||||
| Summary | 0001903: Configure fails for GNU Make 4.0 | ||||||||
| Description | First I should probably say that I use opam to install frama-C. The configure file test whether the Make version is greater than 3.81 but it check that major version is >= 3 (which is ok) and that minor version is >= 81, which is not the case for the version 4.0 | ||||||||
| Steps To Reproduce | ./configure in an environment with version 4.0 of GNU Make | ||||||||
| Additional Information | test at line 2630 of the configure file should be modified. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
 Notes |
|
|
Julien_t (reporter) 2014-07-30 18:31 |
sorry I just found that it is already known : https://bts.frama-c.com/view.php?id=1574 But it would be nice to fix it in the opam repository ;) |
|
signoles (manager) 2014-07-31 10:25 |
It is fixed in the latest Frama-C version (aka Neon-20140301). This version is available in the Opam repo. |
|
Julien_t (reporter) 2014-07-31 15:40 |
I see. The problem is that I use 'Why', which depends on the frama-c.20130601 package. So to be able to install it, I have to extract the frama-c archive downloaded by opam, patch the configure file, re-compress the directory and put it at the right place. which is not really convenient. Would it be possible to fix the version 20130601 in the repository ? |
|
signoles (manager) 2014-07-31 16:50 |
Why is deprecated and is now replaced by Why3 (see http://why.lri.fr). Why3 is available through Opam and is compatible with the latest release of Frama-C (Neon-20140301). I recommend that you switch from Why to Why3. From our side, there is no plan to release a new version of Frama-C compatible with Fluorine (20130601). |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2014-07-30 18:18 | Julien_t | New Issue | |
| 2014-07-30 18:18 | Julien_t | Status | new => assigned |
| 2014-07-30 18:18 | Julien_t | Assigned To | => virgile |
| 2014-07-30 18:31 | Julien_t | Note Added: 0005349 | |
| 2014-07-31 10:25 | signoles | Note Added: 0005351 | |
| 2014-07-31 10:25 | signoles | Assigned To | virgile => signoles |
| 2014-07-31 15:40 | Julien_t | Note Added: 0005353 | |
| 2014-07-31 16:50 | signoles | Note Added: 0005354 | |
| 2014-08-04 15:44 | signoles | Relationship added | duplicate of 0001574 |
| 2014-08-04 15:44 | signoles | Status | assigned => closed |
| 2014-08-04 15:44 | signoles | Resolution | open => fixed |
| 2014-08-04 15:44 | signoles | Fixed in Version | => Frama-C Neon-20140301 |
| Issue History |