When I try to build the tutorial and run
ninja
I got the following error.
[1/31] Performing build step for 'hello-app'
ninja: no work to do.
[3/31] Performing configure step for 'poke-module'
FAILED: poke-module-stamp/poke-module-configure
cd /home/weiqi/test/camkes-vm-linux_build/poke-module &&
/usr/local/bin/cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_TOOLCHAIN_FILE=/home/w
eiqi/test/tools/seL4/cmake-tool/polly_toolchains/linux-gcc-32bit-pic.cmake
-DLINUX_KERNEL_DIR=/home/weiqi/test/camkes-vm-linux_build/out/linux-4.8.16
-DMODULE_HELPERS_FILE=/home/weiqi/test/projects/camkes-vm-linux/linux-module-helpers.cmake
-GNinja /home/weiqi/test/camkes-vm-linux/modules && /usr/local/bin/cmake -E
touch /home/weiqi/test/camkes-vm-linux_build/poke-module-stamp/pok
e-module-configure
CMake Warning (dev) in CMakeLists.txt:
No project() command is present. The top-level CMakeLists.txt file must
contain a literal, direct call to the project() command. Add a line of
code such as
project(ProjectName)
near the top of the file, but after cmake_minimum_required().
CMake is pretending there is a "project(Project)" command on the first
line.
This warning is for project developers. Use -Wno-dev to suppress it.
-- [polly] Used toolchain: Linux / gcc / PIC / c++11 support / 32 bit
CMake Error at CMakeLists.txt:11 (DefineLinuxModule):
DefineLinuxModule Function invoked with incorrect arguments for function
named: DefineLinuxModule
-- Configuring incomplete, errors occurred!
See also "/home/weiqi/test/camkes-vm-linux_build/poke-module/CMakeFil
es/CMakeOutput.log".
See also "/home/weiqi/test/camkes-vm-linux_build/poke-module/CMakeFil
es/CMakeError.log".
[4/31] Completed 'hello-app'
ninja: build stopped: subcommand failed.