Hi,
I was trying to add an extra component in hello-camkes-1 example. Here are
the small tweaks that I did.
a) hello-camkes-1-camkes.template
import <std_connector.camkes>;
import "components/Client1/Client1.camkes";
import "components/Client2/Client2.camkes";
import "components/Echo/Echo.camkes";
assembly {
composition {
component Client1 client1;
component Client2 client2;
component Echo echo;
connection seL4RPC hello_con(from client1.hello1, to echo.hello2);
}
}
--------------------------------------------------------------------------------------------------------------------------
b) CMakeLists.text
cmake_minimum_required(VERSION 3.7.2)
project(hello-camkes-1 C)
DeclareTutorialsCAmkESComponent(Client TEMPLATE_SOURCES
components/Client1/src/client1.c)
DeclareTutorialsCAmkESComponent(Client TEMPLATE_SOURCES
components/Client2/src/client2.c)
DeclareTutorialsCAmkESComponent(Echo TEMPLATE_SOURCES
components/Echo/src/echo.c)
DeclareCAmkESComponent(EmptyComponent)
DeclareTutorialsCAmkESRootserver(hello-camkes-1.camkes ADL_IS_TEMPLATE
TEMPLATE_SOURCES interfaces/HelloSimple.camkes
TUTORIAL_SOURCES components/Client1/Client1.camkes
components/Client2/Client2.camkes components/Echo/Echo.camkes
)
------------------------------------------------------------------------------------------------------------------------
I am getting the following error:
STDERR:
CMake Warning at tools/seL4/cmake-tool/flags.cmake:123 (message):
Kernel supports hardware floating point but toolchain does not
Call Stack (most recent call first):
tools/seL4/cmake-tool/base.cmake:58 (include)
tools/seL4/cmake-tool/all.cmake:16 (include)
CMakeLists.txt:21 (include)
CMake Error at build/projects/sel4-tutorials/camkes-gen.cmake:192
(target_link_libraries):
Error evaluating generator expression:
$<TARGET_PROPERTY:CAmkESComponent_Client1,COMPONENT_LIBS>
Target "CAmkESComponent_Client1" not found.
Call Stack (most recent call first):
tools/camkes/camkes.cmake:591 (include)
projects/sel4-tutorials/CMakeLists.txt:257 (GenerateCAmkESRootserver)
CMake Error at build/projects/sel4-tutorials/cam... (2531 more, please see
e.stderr)
-----------------------------------------------------------------------------------------------------------------
Can you please suggest a possible solution.
--
Thanks and Regards,
Amit Goyal
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
