import logging import os def docker_build(): def run(cmd, quiet=True): r = os.popen(cmd).read() if not "Build completed!" in r: logging.error(r) logging.error("toolchain build failed") exit(1) if not quiet: logging.info(r) run(f"docker build . -t middlearch/ci") run(f"docker run -i --mount type=bind,src=/home/eldeberen/Programmation/Casio/MiddleArch/output,dst=/mnt/output middlearch/ci", quiet=False)