Frama-C Bug Tracking System - Frama-C
View Issue Details
0000182Frama-CKernelpublic2009-07-13 07:222009-09-23 16:40
Jonathan-Christofer Demay 
virgile 
normalminoralways
closedfixed 
Frama-C Beryllium-20090601-beta1 
Frama-C Beryllium-20090901 
0000182: The file `share/configure.ac' is missing
I tried to modify configure.in and then run autoreconf, but a file is missing: aclocal-1.11: configure.in:46: file `share/configure.ac' does not exist autoreconf-2.63: aclocal failed with exit status: 1
No tags attached.
Issue History
2009-07-13 07:22Jonathan-Christofer DemayNew Issue
2009-07-16 17:30virgileNote Added: 0000264
2009-07-16 17:30virgileStatusnew => resolved
2009-07-16 17:30virgileFixed in Version => Frama-C svn, precise the release id
2009-07-16 17:30virgileResolutionopen => fixed
2009-07-16 17:30virgileAssigned To => virgile
2009-07-16 18:44Jonathan-Christofer DemayNote Added: 0000267
2009-07-16 18:44Jonathan-Christofer DemayStatusresolved => feedback
2009-07-16 18:44Jonathan-Christofer DemayResolutionfixed => reopened
2009-07-17 09:44virgileNote Added: 0000270
2009-07-20 19:13Jonathan-Christofer DemayNote Added: 0000283
2009-09-08 18:07virgileNote Added: 0000381
2009-09-22 13:55Jonathan-Christofer DemayNote Added: 0000414
2009-09-23 16:40signolesNote Added: 0000416
2009-09-23 16:40signolesStatusfeedback => closed
2009-09-23 16:40signolesResolutionreopened => fixed
2009-09-23 16:40signolesFixed in VersionFrama-C svn, precise the release id => Frama-C Beryllium

Notes
(0000264)
virgile   
2009-07-16 17:30   
share/config.ac was indeed missing from the list of files to distribute. This is already fixed in svn.
(0000267)
Jonathan-Christofer Demay   
2009-07-16 18:44   
Can you post the missing file on the wiki ?
(0000270)
virgile   
2009-07-17 09:44   
done on the wiki page associated to this bug (http://bts.frama-c.com/dokuwiki/doku.php?id=mantis%3AFrama-C%3Aissue%3A182)
(0000283)
Jonathan-Christofer Demay   
2009-07-20 19:13   
autoconf works now, thanks ! aclocal (which is executed by autoreconf before autoconf), however doesn't. A file is missing: aclocal: configure.in:707: file `config_file' does not exist
(0000381)
virgile   
2009-09-08 18:07   
aclocal does not bother trying to understand m4's semantics and completely ignores the context in which m4_include is called (in particular the definition of config_file as an m4 macro). I don't see a workaround besides not relying on autoreconf/aclocal.
(0000414)
Jonathan-Christofer Demay   
2009-09-22 13:55   
well a blank 'config_file' file seems to do the job to successfully run autoreconf.
(0000416)
signoles   
2009-09-23 16:40   
The leading issue with aclocal won't be fixed.