From f7e7347dc1b4873f70a26392c997228999d346a8 Mon Sep 17 00:00:00 2001 From: Jerome Marchand 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 *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