run-docker-test

#!/bin/bash

#
# Run docker with vunit and ghdl with current directory mounted in /build.
# It is ready to run tests via, for example, `make test_fast coverage`
#
# Can also be run directly with command to run:
#   ./run-docker-test make test_fast
#

if [ -d /build ]; then
    export PATH=/opt/ghdl/bin:$PATH
    export LC_ALL=C.UTF-8
    export LANG=C.UTF-8
    export PYTHONUNBUFFERED=1
    export HOME=$(mktemp -d /tmp/home.XXXXX)

    cd /build/test
    if [ $# -gt 0 ]; then
        exec "$@"
    else
        exec bash
    fi
else
    d="$(realpath "$(dirname "$0")")"
    #"
    docker run --rm -ti -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix \
        -v "$d:/build" --user $(id -u):$(id -g) --memory 6G \
        registry.gitlab.com/canfd/server-tools/ghdl:gtkwave \
        /build/run-docker-test "$@"
fi