The recommended way to work on TWELF is to use docker compose.
All commands that are needed to build/test/... TWELF have corresponding docker compose command:
docker compose run --rm build: Build the TWELF intobuild.tool.docker compose run --rm examples: On top of thebuildcommand, this also usestwelf-clangto build the example programs.docker compose run --rm dev: Enters an interactive development environment that has the same setup as thebuildcommand.