Add Dockerfile for synthesis with Quartus and local build of bsc

Makefile

@@ -120,3 +120,27 @@ mrproper-bluespec-rtl:
 
 mrproper: clean mrproper-bluespec-rtl mrproper-vipbundle
 	rm -rf $(CURDIR)/qdb $(CURDIR)/output_files
+
+
+# Docker variables
+USER=$(if $(shell id -u),$(shell id -u),9001)
+GROUP=$(if $(shell id -g),$(shell id -g),1000)
+
+# Build the docker image
+.PHONY: build-docker
+build-docker:
+	(cd docker; docker build --build-arg UID=$(USER) --build-arg GID=$(GROUP) . --tag de10-jammy)
+
+# Enter the docker image
+.PHONY: shell
+shell: build-docker
+	docker run -it --shm-size 256m --hostname de10-jammy \
+	  -u $(USER) \
+	  -v /home/$(shell whoami)/.ssh:/home/dev-user/.ssh  \
+	  -v $(shell pwd):/workspace \
+	  -v $(QUARTUS_ROOTDIR)/..:/quartusroot \
+	  -e QUARTUS_ROOTDIR=/quartusroot/quartus \
+	  -e LM_LICENSE_FILE=$(LM_LICENSE_FILE) \
+	  --net=host \
+	  de10-jammy:latest \
+	  /bin/bash -c 'export PATH=$$PATH:$$QUARTUS_ROOTDIR/bin:$$QUARTUS_ROOTDIR/sopc_builder/bin; export LC_CTYPE=C; /bin/bash'

README.adoc

@@ -83,7 +83,7 @@ This repo also indirectly relies on (among others) the following repositories:
 - https://github.com/CTSRD-CHERI/BlueUnixBridges[BlueUnixBridges]
 - https://github.com/CTSRD-CHERI/BlueBasics[BlueBasics]
 
-=== Build a Stratix 10 bitfile
+=== Build dependencies
 
 Building the `vipbundle` tool requires a working installation of the `ghc`
 haskell compiler with the `regex-tdfa` haskell library. It will be built
@@ -93,7 +93,39 @@ Additionally, you will need a working installation of
 https://www.intel.com/content/www/us/en/programmable/downloads/download-center.html[Quartus 23.2pro]
 and a https://github.com/B-Lang-org/bsc[bluespec compiler].
 
-You can then run:
+==== Building in Docker (optional)
+
+To deal with dependencies, you can also run in Docker.  For this you will need
+an existing Quartus Pro 23.2 installation, which will be passed through to
+your Docker container.
+
+First, ensure your `QUARTUS_ROOTDIR` and `LM_LICENSE_FILE` variables are set
+as appropriate for your installation:
+
+[source, shell]
+----
+$ export QUARTUS_ROOTDIR=/opt/intelfpga/23.2pro/quartus
+$ export [email protected]
+----
+
+Now build the Docker environment (takes some time as it installs GHC and
+builds BSC):
+
+[source, shell]
+----
+$ make build-docker
+----
+
+and then launch a shell inside it:
+
+[source, shell]
+----
+$ make shell
+----
+
+=== Build a Stratix 10 bitfile
+
+To generate a bitfile you can run:
 
 [source, shell]
 ----

docker/Dockerfile

@@ -0,0 +1,104 @@
+# This Dockerfile configures a Docker environment that 
+# contains all the required packages for the tool
+FROM ubuntu:22.04
+ARG UID
+ARG GID
+RUN echo "Group ID: $GID"
+RUN echo "User ID: $UID"
+
+USER root
+RUN apt-get update -y && apt-get install apt-utils -y
+RUN DEBIAN_FRONTEND="noninteractive" apt-get -y install tzdata
+
+# Install basic packages 
+RUN apt-get upgrade -y 
+RUN apt-get update -y \
+    && apt-get install -y verilator gcc-riscv64-unknown-elf \
+                          libgmp-dev python3 python3-pip g++\
+                          clang llvm lld clang-tidy clang-format \
+                          gcc-multilib gcc cmake sudo wget vim \
+                          curl tmux git bc
+
+# Install CHERI dependencies
+RUN apt-get update -y \
+    && apt-get install -y autoconf automake libtool pkg-config \
+                          clang bison cmake mercurial ninja-build \
+                          samba flex texinfo time libglib2.0-dev \
+                          libpixman-1-dev libarchive-dev libarchive-tools \
+                          libbz2-dev libattr1-dev libcap-ng-dev \
+                          libexpat1-dev libgmp-dev
+
+# Install bsc build dependencies
+RUN sudo apt-get update && \
+    sudo apt-get -y install make g++ libz-dev flex bison autoconf gperf pkg-config tcl-dev tk-dev libfontconfig1-dev libx11-dev libxft-dev itcl3-dev itk3-dev iverilog git build-essential curl libffi-dev libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5
+
+# Install SystemVerilog formatter
+#RUN mkdir -p /srcPkgs \
+#    && cd /srcPkgs \
+#    && wget https://github.com/chipsalliance/verible/releases/download/v0.0-2776-gbaf0efe9/verible-v0.0-2776-gbaf0efe9-Ubuntu-22.04-jammy-x86_64.tar.gz \
+#    && mkdir -p verible \
+#    && tar xzvf verible-*-x86_64.tar.gz -C verible --strip-components 1
+
+# Append any packages you need here
+# RUN apt-get update -y \
+#     && apt-get install -y ...
+
+CMD ["bash"]
+
+# Add dev-user
+RUN groupadd -o -g $GID dev-user
+RUN useradd -r -g $GID -u $UID -m -d /home/dev-user -s /sbin/nologin -c "User" dev-user
+RUN echo "dev-user     ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers
+USER dev-user
+
+# Install Python packages 
+ENV PATH="/home/dev-user/.ghcup/bin:${PATH}:/home/dev-user/.local/bin"
+RUN pip3 install --user --upgrade pip \
+    && pip3 install black colorlog toml tabulate isort
+# Install GHC 
+RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | \
+    BOOTSTRAP_HASKELL_NONINTERACTIVE=1 \
+    BOOTSTRAP_HASKELL_INSTALL_STACK=1 \
+    BOOTSTRAP_HASKELL_INSTALL_HLS=1 \
+    BOOTSTRAP_HASKELL_ADJUST_BASHRC=P sh
+
+#    BOOTSTRAP_HASKELL_GHC_VERSION=9.4.5 \
+#    BOOTSTRAP_HASKELL_CABAL_VERSION=3.6.2.0 \
+
+RUN mkdir /home/dev-user/build
+WORKDIR /home/dev-user/build 
+
+RUN git clone --recursive https://github.com/B-Lang-org/bsc && \
+    cd bsc && \
+    git submodule update --init --recursive && \
+    sudo mkdir /opt/bsc && \
+    sudo chown dev-user:dev-user /opt/bsc && \
+    ln -s /opt/bsc inst && \
+    cd .. && \
+    git clone https://github.com/B-Lang-org/bsc-contrib && \
+    cd bsc-contrib && \
+    git submodule update --init --recursive && \
+    cd .. && \
+    . /home/dev-user/.ghcup/env && cabal update && cabal v1-install regex-compat syb old-time split && \
+    . /home/dev-user/.ghcup/env && cd bsc && make install-src && make check-smoke && \
+    . /home/dev-user/.ghcup/env  make PREFIX="/home/dev-user/bsc-inst" install && \
+    rm -rf /home/dev-user/build
+
+ENV PATH="${PATH}:/opt/bsc/bin"
+ENV BLUESPECDIR=/opt/bsc/lib
+
+# Add environment variables
+RUN printf "\
+\nexport LIBRARY_PATH=/usr/lib/x86_64-linux-gnu:\$LIBRARY_PATH \
+\n# Basic PATH setup \
+\nexport PATH=/workspace/scripts:/home/dev-user/.local/bin:\$PATH:/home/dev-user/.ghcup/bin \
+\n# Thread setup \
+\nexport nproc=\$(grep -c ^processor /proc/cpuinfo) \
+\n# Terminal color... \
+\nexport PS1=\"[\\\\\\[\$(tput setaf 3)\\\\\\]\\\t\\\\\\[\$(tput setaf 2)\\\\\\] \\\u\\\\\\[\$(tput sgr0)\\\\\\]@\\\\\\[\$(tput setaf 2)\\\\\\]\\\h \\\\\\[\$(tput setaf 7)\\\\\\]\\\w \\\\\\[\$(tput sgr0)\\\\\\]] \\\\\\[\$(tput setaf 6)\\\\\\]$ \\\\\\[\$(tput sgr0)\\\\\\]\" \
+\nexport LS_COLORS='rs=0:di=01;96:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40;33;01' \
+\nalias ls='ls --color' \
+\nalias grep='grep --color'\n" >> /home/dev-user/.bashrc
+
+# Entrypoint set up
+WORKDIR /workspace