View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000398 | Frama-C | Kernel > configure | public | 2010-02-06 11:50 | 2014-02-12 16:55 | ||||
Reporter | dpariente | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C GIT, precise the release id | ||||||||
Target Version | Fixed in Version | Frama-C Boron-20100401 | |||||||
Summary | 0000398: RTE compiled even with ./configure --disable-rte | ||||||||
Description | Hi, RTE is compiled even if it is disabled at "configure" time. (ie.: ./configure --disable-rte). | ||||||||
Additional Information | Seems to be related to other ./configure issues (e.g. issue 262). Moving it to Kernel -> configure. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
||||||
|
![]() |
|
signoles (manager) 2010-02-23 16:01 |
Actually not related to private bts #262 since rte directly patches configure.in in order to call the m4 function "check_plugin". |
signoles (manager) 2010-02-23 16:47 |
The issue is solved now. I let it opened since the origin of the bug is that section 2.2 (Tutorial for kernel-integrated plug-in) is out-of-date for configure/Makefile stuff. The issue will be fully resolved when the plug-in development guide will be updated. |
signoles (manager) 2010-02-23 18:25 |
There is now a new issue about Plug-in dev guide out-of-date: see bts 0000419. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2010-02-06 11:50 | dpariente | New Issue | |
2010-02-06 11:50 | dpariente | Status | new => assigned |
2010-02-06 11:50 | dpariente | Assigned To | => pherrmann |
2010-02-06 13:28 | pherrmann | Additional Information Updated | |
2010-02-06 13:30 | pherrmann | Status | assigned => acknowledged |
2010-02-06 13:30 | pherrmann | Category | Plug-in > RTE => Kernel > configure |
2010-02-06 13:30 | pherrmann | Additional Information Updated | |
2010-02-07 20:28 | signoles | Status | acknowledged => assigned |
2010-02-07 20:28 | signoles | Assigned To | pherrmann => virgile |
2010-02-23 15:59 | signoles | Assigned To | virgile => signoles |
2010-02-23 16:00 | signoles | Status | assigned => confirmed |
2010-02-23 16:01 | signoles | Note Added: 0000707 | |
2010-02-23 16:45 | svn | ||
2010-02-23 16:47 | signoles | Note Added: 0000709 | |
2010-02-23 18:24 | signoles | Relationship added | child of 0000419 |
2010-02-23 18:25 | signoles | Note Added: 0000711 | |
2010-02-23 18:25 | signoles | Status | confirmed => resolved |
2010-02-23 18:25 | signoles | Resolution | open => fixed |
2010-04-13 15:30 | signoles | Status | resolved => new |
2010-04-13 15:31 | signoles | Status | new => closed |
2010-04-13 15:33 | signoles | Fixed in Version | => Frama-C Boron |
2013-12-19 01:13 | signoles | Source_changeset_attached | => framac master 3e0836ba |
2014-02-12 16:55 | signoles | Source_changeset_attached | => framac stable/neon 3e0836ba |