|
Maki
Formally verfied low-code orchestration
|
The linux setup has been tests on Ubuntu 24.04, that is also what we use in the docker. When I have time, I will try to make releases for other distros.
A Dockerfile is provided to ensure everyone has the same build and run environment. Note that there is no specific run image though. To build the application, follow the instructions below:
Build the docker container, this shouldn't take long (30 minutes or so), since we use precompiled QT libraries. In any case, this only needs to be done once.
Optionally, the docker image can be pulled directly from Github with:
Run the docker image.
Note that ~/ros2_ws is an example and should be set to your local ROS workspace.
Inside the docker, we can now build Maki. There are two options available
After building, it is possible to run the application with:
To create a release version, run the command
After building, it is possible to run the application with:
To build the documentation, run:
After building, it is possible to test it locally with:
There are multiple targets available. To list them, run:
Any of the listed options can then be run with: