Hi:
I am new to L4 and have been working through the tutorials. However, I am
having a problem doing the hello-camkes-0 tutorial. When I try to install
the tutorial, I get the output below. Looks like a file
hello-camkes-0_build/camkes_gen/deps_1 is not there. Any help would be
greatly appreciated!
thanks,
Sachin
$ ./init --tut hello-camkes-0
loading initial cache file ../projects/sel4-tutorials/settings.cmake
-- Found capdl: /compile/sel4-tutorials-manifest/projects/capdl
CMake Warning (dev) at
/usr/share/cmake3/Modules/FindPackageHandleStandardArgs.cmake:272 (message):
The package name passed to `find_package_handle_standard_args`
(camkes-tool) does not match the name of the calling package
(sel4-tutorials). This can lead to problems in calling code that expects
`find_package` result variables (e.g., `_FOUND`) to follow a certain
pattern.
Call Stack (most recent call first):
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/Findsel4-tutorials.cmake:67
(FIND_PACKAGE_HANDLE_STANDARD_ARGS)
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/settings.cmake:96
(find_package)
This warning is for project developers. Use -Wno-dev to suppress it.
-- Found camkes-tool:
/compile/sel4-tutorials-manifest/projects/sel4-tutorials
CMake Warning (dev) at
/usr/share/cmake3/Modules/FindPackageHandleStandardArgs.cmake:272 (message):
The package name passed to `find_package_handle_standard_args`
(camkes-tool) does not match the name of the calling package
(sel4-tutorials). This can lead to problems in calling code that expects
`find_package` result variables (e.g., `_FOUND`) to follow a certain
pattern.
Call Stack (most recent call first):
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/Findsel4-tutorials.cmake:67
(FIND_PACKAGE_HANDLE_STANDARD_ARGS)
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/settings.cmake:96
(find_package)
CMakeLists.txt:3 (include)
This warning is for project developers. Use -Wno-dev to suppress it.
-- The C compiler identification is GNU 7.3.1
-- The ASM compiler identification is GNU
-- Found assembler: /opt/rh/devtoolset-7/root/usr/bin/gcc
-- Check for working C compiler: /opt/rh/devtoolset-7/root/usr/bin/gcc
-- Check for working C compiler: /opt/rh/devtoolset-7/root/usr/bin/gcc -
works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Found camkes-tool: /compile/sel4-tutorials-manifest/projects/camkes-tool
-- Found seL4: /compile/sel4-tutorials-manifest/kernel
-- Found elfloader-tool:
/compile/sel4-tutorials-manifest/tools/seL4/elfloader-tool
-- Found musllibc: /compile/sel4-tutorials-manifest/projects/musllibc
-- Found util_libs: /compile/sel4-tutorials-manifest/projects/util_libs
-- Found seL4_libs: /compile/sel4-tutorials-manifest/projects/seL4_libs
-- Found projects_libs:
/compile/sel4-tutorials-manifest/projects/projects_libs
-- Detecting cached version of: capDL-tool
-- No cache path given. Set SEL4_CACHE_DIR to a path to enable caching
binary artifacts.
-- Found sel4runtime: /compile/sel4-tutorials-manifest/projects/sel4runtime
-- Performing Test compiler_arch_test
-- Performing Test compiler_arch_test - Success
-- Detecting cached version of: musllibc
-- No cache path given. Set SEL4_CACHE_DIR to a path to enable caching
binary artifacts.
-- /compile/sel4-tutorials-manifest/hello-camkes-0_build/ast.pickle is out
of date. Regenerating...
-- /compile/sel4-tutorials-manifest/hello-camkes-0_build/camkes-gen.cmake
is out of date. Regenerating...
CAmkES uses UTF-8 encoding, but your locale's preferred encoding is
ansi_x3.4-1968. You can override your locale with the LANG environment
variable.
CMake Error at
/compile/sel4-tutorials-manifest/tools/seL4/cmake-tool/helpers/make.cmake:13
(file):
file failed to open for reading (No such file or directory):
/compile/sel4-tutorials-manifest/hello-camkes-0_build/camkes_gen/deps_1
Call Stack (most recent call first):
/compile/sel4-tutorials-manifest/tools/seL4/cmake-tool/helpers/make.cmake:71
(MakefileDepsToList)
/compile/sel4-tutorials-manifest/projects/camkes-tool/camkes.cmake:503
(execute_process_with_stale_check)
CMakeLists.txt:17 (GenerateCAmkESRootserver)
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/Findsel4-tutorials.cmake:29
(include)
CMakeLists.txt:4 (sel4_tutorials_regenerate_tutorial)
CMake Error at
/compile/sel4-tutorials-manifest/projects/camkes-tool/camkes.cmake:523
(message):
Failed to generate
/compile/sel4-tutorials-manifest/hello-camkes-0_build/camkes-gen.cmake
Call Stack (most recent call first):
CMakeLists.txt:17 (GenerateCAmkESRootserver)
/compile/sel4-tutorials-manifest/projects/sel4-tutorials/Findsel4-tutorials.cmake:29
(include)
CMakeLists.txt:4 (sel4_tutorials_regenerate_tutorial)
-- Configuring incomplete, errors occurred!
See also
"/compile/sel4-tutorials-manifest/hello-camkes-0_build/CMakeFiles/CMakeOutput.log".
Traceback (most recent call last):
File "./init", line 96, in <module>
File "./init", line 85, in main
File
"/compile/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line
106, in init_directories
return _init_build_directory(config, initialised, build_directory,
tute_directory, output, config_dict=config_dict)
File
"/compile/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line
74, in _init_build_directory
return sh.cmake(args + [tute_directory], _cwd=directory, _out=output,
_err=output)
File
"/net/freenas/mnt/freenas-4TB/smore/.local/lib/python3.6/site-packages/sh.py",
line 1549, in __call__
return RunningCommand(cmd, call_args, stdin, stdout, stderr)
File
"/net/freenas/mnt/freenas-4TB/smore/.local/lib/python3.6/site-packages/sh.py",
line 793, in __init__
self.wait()
File
"/net/freenas/mnt/freenas-4TB/smore/.local/lib/python3.6/site-packages/sh.py",
line 849, in wait
self.handle_command_exit_code(exit_code)
File
"/net/freenas/mnt/freenas-4TB/smore/.local/lib/python3.6/site-packages/sh.py",
line 877, in handle_command_exit_code
raise exc
sh.ErrorReturnCode_1:
RAN: /bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64
-DTUTORIAL_DIR=hello-camkes-0 -C ../projects/sel4-tutorials/settings.cmake
/compile/sel4-tutorials-manifest/hello-camkes-0
STDOUT:
STDERR:
