Frama-C Bug Tracking System - Frama-C
View Issue Details
0000398Frama-CKernel > configurepublic2010-02-06 11:502014-02-12 16:55
dpariente 
signoles 
normalminoralways
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Boron-20100401 
0000398: RTE compiled even with ./configure --disable-rte
Hi, RTE is compiled even if it is disabled at "configure" time. (ie.: ./configure --disable-rte).
Seems to be related to other ./configure issues (e.g. issue 262). Moving it to Kernel -> configure.
No tags attached.
child of 0000419closed signoles Plug-in dev guide: tutorial for kernel integrated plug-in is out-of-date 
Issue History
2010-02-06 11:50dparienteNew Issue
2010-02-06 11:50dparienteStatusnew => assigned
2010-02-06 11:50dparienteAssigned To => pherrmann
2010-02-06 13:28pherrmannAdditional Information Updated
2010-02-06 13:30pherrmannStatusassigned => acknowledged
2010-02-06 13:30pherrmannCategoryPlug-in > RTE => Kernel > configure
2010-02-06 13:30pherrmannAdditional Information Updated
2010-02-07 20:28signolesRelationship addedduplicate of 0000262
2010-02-07 20:28signolesStatusacknowledged => assigned
2010-02-07 20:28signolesAssigned Topherrmann => virgile
2010-02-23 15:59signolesAssigned Tovirgile => signoles
2010-02-23 16:00signolesStatusassigned => confirmed
2010-02-23 16:00signolesRelationship deleted0000262
2010-02-23 16:01signolesNote Added: 0000707
2010-02-23 16:45svnCheckin
2010-02-23 16:47signolesNote Added: 0000709
2010-02-23 18:24signolesRelationship addedchild of 0000419
2010-02-23 18:25signolesNote Added: 0000711
2010-02-23 18:25signolesStatusconfirmed => resolved
2010-02-23 18:25signolesResolutionopen => fixed
2010-04-13 15:30signolesStatusresolved => new
2010-04-13 15:31signolesStatusnew => closed
2010-04-13 15:33signolesFixed in Version => Frama-C Boron

Notes
(0000707)
signoles   
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".
(0000709)
signoles   
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.
(0000711)
signoles   
2010-02-23 18:25   
There is now a new issue about Plug-in dev guide out-of-date: see bts #419.