From f5efaf300e7bef7d810bb494f475cfe65bbab668 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Erik=20=C3=96rtenberg?= Date: Thu, 13 Mar 2025 13:46:29 +0100 Subject: [PATCH] made dockerized ghdl work with multiple directories --- scripts/ghdl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/ghdl b/scripts/ghdl index cb3df0c..409d0f5 100755 --- a/scripts/ghdl +++ b/scripts/ghdl @@ -1,4 +1,6 @@ #!/bin/bash VARS="$@" COMMAND="ghdl $VARS" -docker run -it -v .:/src -w /src ghdl/ghdl:5.0.0-dev-gcc-ubuntu-24.04 bash -c "$COMMAND" +PROJ_HOME=/home/thesis1/repos/exjobb-public +RELPATH=$(realpath -m --relative-to="$PROJ_HOME" .) +docker run -it -v "$PROJ_HOME"/src:/src -w /"$RELPATH" ghdl/ghdl:5.0.0-dev-gcc-ubuntu-24.04 bash -c "$COMMAND"