Error when building the image
When building the image with command
docker build -t patmos-development-container-image ./container
the following Error is reported (presumably at step 13 of the Dockerfile):
The command '/bin/sh -c cd /opt/t-crest/misc && cp build.cfg.dist build.cfg && sed -i "s/BUILDSH_TARGETS="gold llvm newlib compiler-rt pasim poseidon aegean"/BUILDSH_TARGETS="llvm"/" ./build.cfg && cd .. && ./misc/build.sh' returned a non-zero code: 2