34 lines
1.4 KiB
Diff
34 lines
1.4 KiB
Diff
From f7e7347dc1b4873f70a26392c997228999d346a8 Mon Sep 17 00:00:00 2001
|
|
From: Jerome Marchand <jmarchan@redhat.com>
|
|
Date: Wed, 10 Jun 2020 11:41:59 +0200
|
|
Subject: [PATCH 3/4] loader: suggest to install the right kernel devel package
|
|
|
|
Unfortunately, some package dependency system do not allow to make
|
|
sure that the kernel development package installed is the same version
|
|
as the running kernel. When this happen, the loader, unable to find
|
|
the kernel header, will suggest to rebuild the kernel with
|
|
CONFIG_IKHEADERS. For most users, this is probably not an option, but
|
|
installing the kernel development package corresponding to the running
|
|
kernel version is.
|
|
---
|
|
src/cc/frontends/clang/loader.cc | 3 ++-
|
|
1 file changed, 2 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/src/cc/frontends/clang/loader.cc b/src/cc/frontends/clang/loader.cc
|
|
index 9d768d30..79558dd3 100644
|
|
--- a/src/cc/frontends/clang/loader.cc
|
|
+++ b/src/cc/frontends/clang/loader.cc
|
|
@@ -151,7 +151,8 @@ int ClangLoader::parse(unique_ptr<llvm::Module> *mod, TableStorage &ts,
|
|
kpath = tmpdir;
|
|
} else {
|
|
std::cout << "Unable to find kernel headers. ";
|
|
- std::cout << "Try rebuilding kernel with CONFIG_IKHEADERS=m (module)\n";
|
|
+ std::cout << "Try rebuilding kernel with CONFIG_IKHEADERS=m (module) ";
|
|
+ std::cout << "or installing the kernel development package for your running kernel version.\n";
|
|
}
|
|
}
|
|
|
|
--
|
|
2.25.4
|
|
|