-
Notifications
You must be signed in to change notification settings - Fork 18
Description
I am also having trouble building kernel. I am doing the following:
$cmake -H. -Brelease -Ddriver=nouveau -Duser=OFF -Druntime=ON -Dusched=OFF -Duse_as=OFF
$make -C release
I get the following error:
[100%] Generating gdev/gdev.ko
make[3]: Entering directory '/usr/src/linux-headers-4.13.0-37-generic'
gdev/release/mod/gdev/gdev_drv.c:46:28: fatal error: gdev_interface.h: No such file or directory
compilation terminated.
scripts/Makefile.build:308: recipe for target 'gdev/release/mod/gdev/gdev_drv.o' failed
make[4]: *** [gdev/release/mod/gdev/gdev_drv.o] Error 1
Makefile:1550: recipe for target '_module_gdev/release/mod/gdev' failed
make[3]: *** [_module_gdev/release/mod/gdev] Error 2
make[3]: Leaving directory '/usr/src/linux-headers-4.13.0-37-generic'
mod/CMakeFiles/gdev_module.dir/build.make:108: recipe for target 'mod/gdev/gdev.ko' failed