Add a Docker image. Issue #1165

Author: nickg

.github/workflows/release-packages.yml

@@ -28,7 +28,7 @@ jobs:
         run: |
           ln -s contrib/debian debian
           sed -i 's/nvc (.*)/nvc (${{ env.VERSION }}-1)/' debian/changelog
-          sudo apt-get build-dep .
+          sudo apt-get -y build-dep .
           dpkg-buildpackage -uc -us -b
           mv ../nvc_${{ env.VERSION }}-1_amd64.deb nvc_${{ env.VERSION }}-1_amd64_${{ matrix.os }}.deb
       - name: 'Upload artifact'
@@ -49,3 +49,27 @@ jobs:
           fetch-depth: 0
       - name: Build MSI installer
         uses: ./.github/actions/windows-installer
+
+  docker:
+    name: Docker image
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 1
+      - name: Build Docker image
+        run: ./contrib/docker/build.sh
+      - uses: actions/checkout@v4
+        with:
+          repository: nickg/vhdl-projects
+          path: vhdl-projects
+          fetch-depth: 1
+      - name: Test
+        run: |
+          docker run --rm -v $(pwd)/vhdl-projects:/data \
+            ghcr.io/nickg/nvc:latest /data/flopoco/test.sh
+      - name: Push to ghcr.io
+        run : |
+          echo "${{ secrets.GHCR_TOKEN }}" | \
+            docker login -u ${{ vars.GHCR_USER }} --password-stdin ghcr.io
+          docker push ghcr.io/nickg/nvc:latest

NEWS.md

@@ -27,6 +27,7 @@
 - Improved the formatting of the `--help` output.
 - The GitHub Action has been renamed from `nickg/setup-nvc-ci` to
   `nickg/setup-nvc`, although the old name should redirect to the new.
+- A Docker image was added at `ghcr.io/nickg/nvc` (#1165).
 
 ## Version 1.15.2 - 2025-03-01
 - Fixed invalid LLVM IR generation which could cause a crash with LLVM

README.md

@@ -88,7 +88,10 @@ with `winget install NickGasson.NVC`.  Users of systems without existing
 packages should build from source.
 
 For testing in GitHub Actions use
-[setup-nvc](https://github.com/marketplace/actions/setup-nvc).
+[setup-nvc](https://github.com/marketplace/actions/setup-nvc).  There is
+also a Docker image
+[ghcr.io/nickg/nvc](https://github.com/nickg/nvc/pkgs/container/nvc) for
+other CI environments.
 
 NVC has both a release branch and a development master branch. The
 master branch should be stable enough for day-to-day use and has

contrib/debian/control

@@ -4,9 +4,9 @@ Section: misc
 Priority: optional
 Standards-Version: 3.9.2
 Build-Depends: debhelper (>= 9), tcl-dev, llvm-dev, libreadline-dev,
-  check, libzstd-dev, libdw-dev
+  check, libzstd-dev, libdw-dev, libjansson-dev, flex, pkg-config, git
 
 Package: nvc
 Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}, binutils
 Description: VHDL compiler and simulator

contrib/debian/rules

@@ -4,4 +4,4 @@
 
 override_dh_auto_configure:
 	dh_auto_configure --builddirectory=build/x-debian -- \
-	  --enable-tcl
+	  --enable-tcl --enable-server

contrib/docker/Dockerfile

@@ -0,0 +1,18 @@
+FROM debian:bookworm AS build
+WORKDIR /src
+COPY . .
+RUN ln -s contrib/debian .
+ARG VERSION
+RUN sed -i "s/nvc (.*)/nvc ($VERSION-1)/" debian/changelog
+RUN apt-get -y update
+RUN apt-get -y build-dep .
+RUN DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -us -b
+
+FROM debian:bookworm
+RUN --mount=from=build,target=/src \
+    apt-get -y update && \
+    apt-get -y install /src/nvc_*.deb && \
+    rm -rf /var/lib/apt/lists/*
+RUN nvc --version
+CMD ["/usr/bin/nvc"]
+LABEL org.opencontainers.image.source=https://github.com/nickg/nvc

contrib/docker/Dockerfile.dockerignore

@@ -0,0 +1,6 @@
+# -*- mode: fundamental -*-
+build/
+contrib/docker/
+.github/
+*~
+configure

contrib/docker/build.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+set -e -o pipefail
+
+cd $(dirname ${BASH_SOURCE[0]})/../..
+
+vers=$(sed -n '1s/AC_INIT(\[.*\], \[\([0-9\.]*\).*\].*/\1/p' configure.ac)
+
+docker build -f contrib/docker/Dockerfile . \
+       --build-arg VERSION=$vers \
+       --tag ghcr.io/nickg/nvc:latest

test/test_vlog.c

@@ -381,7 +381,7 @@ START_TEST(test_pp1)
       "\n"
       "pass\n"
       "\n"
-      "../test/vlog/pp1.v\n"
+      TESTDIR "/vlog/pp1.v\n"
       "16\n"
       "\n");
 }