| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000382 | Frama-C | Kernel > Makefile | public | 2010-01-22 14:01 | 2010-04-13 15:33 |
|
| Reporter | mehdi | |
| Assigned To | signoles | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Beryllium-20090902 | |
| Target Version | | Fixed in Version | Frama-C Boron-20100401 | |
|
| Summary | 0000382: Should not call install-kernel-opt on bytecode architectures |
| Description | 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, |
| Tags | No tags attached. |
|
| Attached Files |  0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch [^] (707 bytes) 2010-01-22 14:01 [Show Content] [Hide Content]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