Frama-C Bug Tracking System - Frama-C | ||||||||||
View Issue Details | ||||||||||
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 | |||||||
Platform | OS | OS Version | ||||||||
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. | |||||||||
Relationships |
| |||||||||
Attached Files |
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 |