Docker update (#34)

* add gdb to container + changed source dir for docker build * bumped docker image
bang-olufsen · Jul 4, 2022 · ce99f64 · ce99f64
1 parent 7d71e01
commit ce99f64
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,6 +1,6 @@
 {
     "name": "hdlcpp",
-    "image": "audiostreamingplatform/hdlcpp:1.0",
+    "image": "audiostreamingplatform/hdlcpp:1.1",
     "remoteUser": "user",
     "runArgs": [
         "--privileged",

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -13,7 +13,7 @@ jobs:
   unit-tests:
     runs-on: ubuntu-latest
     container:
-      image: audiostreamingplatform/hdlcpp:1.0
+      image: audiostreamingplatform/hdlcpp:1.1
     steps:
     - uses: actions/checkout@v2
       with:

diff --git a/scripts/Dockerfile b/scripts/Dockerfile
@@ -23,6 +23,7 @@ RUN apt-get update \
     g++-10 \
     gcc-multilib \
     g++-multilib \
+    gdb \
     lcov \
     python3.8 \
     python3.8-dev \

diff --git a/scripts/build_buildenv.sh b/scripts/build_buildenv.sh
@@ -2,7 +2,7 @@
 set -e
 
 DOCKER_IMAGE=$(scripts/docker_image.sh 1)
-docker build --no-cache -t "$DOCKER_IMAGE" docker
+docker build --no-cache -t "$DOCKER_IMAGE" scripts
 
 # Uncomment below to push the image
 #docker push "$DOCKER_IMAGE"