Frama-C Bug Tracking System - Frama-C
View Issue Details
0000382Frama-CKernel > Makefilepublic2010-01-22 14:012010-04-13 15:33
mehdi 
signoles 
normalminoralways
closedfixed 
Frama-C Beryllium-20090902 
Frama-C Boron-20100401 
0000382: Should not call install-kernel-opt on bytecode architectures
The “install” target calls unconditionally “install-kernel-opt” which fails on bytecode-only architectures. Please find attached a patch to fix this little issue. Regards,
No tags attached.
patch 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch (707) 2010-01-22 14:01
https://bts.frama-c.com/file_download.php?file_id=46&type=bug
Issue History
2010-01-22 14:01mehdiNew Issue
2010-01-22 14:01mehdiFile Added: 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch
2010-01-22 20:21signolesStatusnew => assigned
2010-01-22 20:21signolesAssigned To => signoles
2010-01-24 16:32monateNote Added: 0000650
2010-01-24 16:32monateStatusassigned => resolved
2010-01-24 16:32monateFixed in Version => Frama-C Bore
2010-01-24 16:32monateResolutionopen => fixed
2010-02-05 09:43signolesCategoryKernel => Kernel > Makefile
2010-02-05 09:43signolesDescription Updated
2010-04-13 15:30signolesStatusresolved => new
2010-04-13 15:31signolesStatusnew => closed

Notes
(0000650)
monate   
2010-01-24 16:32   
Thanks a lot for the patch and for testing these corner cases. It has been applied to the current svn.