Merge pull request #90 from UQ-PAC/godbolt-boogie-direct

Godbolt boogie direct, move godbolt to separate repo

compose.yaml

@@ -28,6 +28,9 @@ services:
     build:
       dockerfile: docker/godbolt.Dockerfile 
     network_mode: host
+    volumes:
+      - ./target/scala-3.1.0/:/target/scala-3.1.0/
+      # - ./docker/compiler-explorer:/compiler-explorer
     ports: 
       - "10240:10240"
 

docker/godbolt.Dockerfile

@@ -2,34 +2,28 @@ FROM ghcr.io/uq-pac/basil:latest as compiler-explorer
 # https://github.com/madduci/docker-compiler-explorer/tree/master
 RUN DEBIAN_FRONTEND=noninteractive apt-get update \
     && apt-get install -y curl \
-    && curl -sL https://deb.nodesource.com/setup_18.x | bash - \
+    && curl -sL https://deb.nodesource.com/setup_18.x | bash - \ # TODO: update install method
     && apt-get install -y \
         wget \
         ca-certificates \
         nodejs \
         make \
         git \
         dotnet6 \
+    && dotnet tool install --global boogie  || true \
+    && apt-get install clang gcc gcc-13-aarch64-linux-gnu  binutils-aarch64-linux-gnu gcc-13-cross-base libc6-dev-arm64-cross libc6-dev-armel-cross libc6-dev-armhf-cross libc6-dev-i386 -y \
     && apt-get autoremove --purge -y \
     && apt-get autoclean -y \
-    && dotnet tool install --global boogie  || true
+    && rm -rf /var/cache/apt/* /tmp/* 
 # to force a new clone after a new commit
+WORKDIR /compiler-explorer
 ADD https://api.github.com/repos/ailrst/compiler-explorer/branches/main /tmp/head 
-RUN rm -rf /var/cache/apt/* /tmp/* \
-    && git clone https://github.com/ailrst/compiler-explorer.git /compiler-explorer \
+RUN  \
+    git clone https://github.com/ailrst/compiler-explorer.git /compiler-explorer \
     && cd /compiler-explorer \
-    && echo "Add missing dependencies" \
     && npm i @sentry/node \
     && npm run webpack
-WORKDIR /compiler-explorer
-RUN DEBIAN_FRONTEND=noninteractive apt-get update \
-    && apt-get install clang gcc gcc-13-aarch64-linux-gnu  binutils-aarch64-linux-gnu gcc-13-cross-base libc6-dev-arm64-cross libc6-dev-armel-cross libc6-dev-armhf-cross libc6-dev-i386 -y \
-    && apt-get autoclean -y
 ENTRYPOINT [ "make" ]
 CMD ["run"]
 
 FROM compiler-explorer AS  ghcr.io/uq-pac/basil-compiler-explorer:latest
-ADD docker/godbolt/basil-tool.py /compiler-explorer/basil-tool.py
-RUN chmod +x /compiler-explorer/basil-tool.py
-ADD docker/godbolt/basil.local.properties /compiler-explorer/etc/config/c.defaults.properties
-ADD docker/godbolt/compiler-explorer.local.properties /compiler-explorer/etc/config/compiler-explorer.local.properties