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:
Show replies by date
Hi Sachin,
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!
I've checked the logs that you provided and it seems that the CMake configuration
failed.
In particular, in the last part of the logs, a Python script which calls 'cmake'
to generate some files failed.
It could be that the version of CMake you have is different from the ones we use which
could be causing problems.
We have some docker images [1] which contain all the tools necessary to build our
projects, so you could try using that and see if it works.
Also perhaps try running 'repo sync' to pull the latest sources as well.
Regards,
Damon
[1]
https://docs.sel4.systems/projects/dockerfiles/
Hi Damon:
On Tue, Jun 30, 2020 at 10:51 PM Lee, Damon (Data61, Kensington NSW) <
Damon.Lee(a)data61.csiro.au> wrote:
Hi Sachin,
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!
I've checked the logs that you provided and it seems that the CMake
configuration failed.
In particular, in the last part of the logs, a Python script which calls
'cmake' to generate some files failed.
It could be that the version of CMake you have is different from the ones
we use which could be causing problems.
We have some docker images [1] which contain all the tools necessary to
build our projects, so you could try using that and see if it works.
Also perhaps try running 'repo sync' to pull the latest sources as well.
Regards,
Damon
[1]
https://docs.sel4.systems/projects/dockerfiles/
Thank you very much for your help.
Sachin