2021-03-02 14:16 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000382Frama-CKernel > Makefilepublic2010-04-13 15:33
Reportermehdi 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000382: Should not call install-kernel-opt on bytecode architectures
DescriptionThe “install” target calls unconditionally “install-kernel-opt” which fails on bytecode-only architectures.

Please find attached a patch to fix this little issue.

Regards,
TagsNo tags attached.
Attached Files
  • patch file icon 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch (707 bytes) 2010-01-22 14:01 -
    From: Mehdi Dogguy <mehdi@debian.org>
    Date: Fri, 22 Jan 2010 11:59:24 +0100
    Subject: [PATCH] Do not install native Kernel modules on bytecode architectures
    
    ---
     Makefile |    5 ++++-
     1 files changed, 4 insertions(+), 1 deletions(-)
    
    diff --git a/Makefile b/Makefile
    index 5c88587..7737f85 100644
    --- a/Makefile
    +++ b/Makefile
    @@ -1604,7 +1604,10 @@ install:
     	  $(CP)  $(PLUGIN_DYN_GUI_CMO_LIST) $(PLUGIN_DYN_GUI_CMX_LIST) \
     		 $(FRAMAC_PLUGINDIR)/gui; \
     	fi
    -	$(MAKE) install-kernel-byte install-kernel-opt
    +	$(MAKE) install-kernel-byte
    +	if [ "$(OCAMLBEST)" = "opt" ]; then \
    +		$(MAKE) install-kernel-opt; \
    +	fi
     	$(MAKE) install-gui
     	$(PRINT_CP) man pages
     	$(CP) man/frama-c.1 $(MANDIR)/man1
    -- 
    

-Relationships
+Relationships

-Notes

~0000650

monate (reporter)

Thanks a lot for the patch and for testing these corner cases.
It has been applied to the current svn.
+Notes

-Issue History
Date Modified Username Field Change
2010-01-22 14:01 mehdi New Issue
2010-01-22 14:01 mehdi File Added: 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch
2010-01-22 20:21 signoles Status new => assigned
2010-01-22 20:21 signoles Assigned To => signoles
2010-01-24 16:32 monate Note Added: 0000650
2010-01-24 16:32 monate Status assigned => resolved
2010-01-24 16:32 monate Fixed in Version => Frama-C Bore
2010-01-24 16:32 monate Resolution open => fixed
2010-02-05 09:43 signoles Category Kernel => Kernel > Makefile
2010-02-05 09:43 signoles Description Updated
2010-04-13 15:30 signoles Status resolved => new
2010-04-13 15:31 signoles Status new => closed
+Issue History