| 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 |
| ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
| Notes |
|
|
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. |
| Notes |
| Issue History |
|||
| 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 |
| Issue History |