new container

.github/workflows/run-examples.yml

@@ -13,7 +13,7 @@ jobs:
     timeout-minutes: 10 
     container:
       # Requires repo to have action access in package settings
-      image: ghcr.io/uq-pac/basil-dev:latest
+      image: ghcr.io/uq-pac/basil-nix-dev:latest
       credentials:
         username: ${{ github.actor }}
         password: ${{ secrets.github_token }}

compose.yaml

@@ -7,6 +7,15 @@ services:
     volumes:
       - ./:/host:rw
     working_dir: /host
+  basil-nix-dev:
+    image: ghcr.io/uq-pac/basil-nix-dev:latest
+    build:
+      dockerfile: docker/nixdocker.Dockerfile
+      target: nix-dev-base
+    volumes:
+      - ./:/host:rw
+    working_dir: /host
+
   basil-dev:
     image: ghcr.io/uq-pac/basil-dev:latest
     build:

docker/asli.Dockerfile

@@ -1,7 +1,7 @@
 # ====
 # ASLP
 # ====
-FROM ocaml/opam:ubuntu-23.04-ocaml-4.14 AS aslp
+FROM docker.io/ocaml/opam:ubuntu-23.04-ocaml-4.14 AS aslp
 USER root
 
 # Install system dependencies
@@ -47,7 +47,7 @@ USER root
 # it requires old versions of libffi and libtinfo and generally 
 # doesn't support ubuntu well.
 # Opam install is the most reliable way.
-FROM ocaml/opam:ubuntu-23.04-ocaml-4.14 AS aslp-bap
+FROM docker.io/ocaml/opam:ubuntu-23.04-ocaml-4.14 AS aslp-bap
 USER root
 # Install system dependencies
 RUN apt-get update && apt-get install -y python3 libgmp-dev yasm m4 \
@@ -112,11 +112,10 @@ USER root
 # =======================
 # BASIL build environment
 # =======================
-FROM ubuntu:23.04 AS scala
+FROM docker.io/ubuntu:23.04 AS scala
 ENV PATH="$PATH:/root/.local/share/coursier/bin"
 RUN apt-get update && apt-get install default-jre-headless curl git --yes \ 
  && curl -fL https://github.com/coursier/coursier/releases/latest/download/cs-x86_64-pc-linux.gz | gzip -d > cs && chmod +x cs && ./cs setup --yes \
- && apt-get remove curl --yes \
   && apt-get autoremove --purge -y \
   && apt-get autoclean -y
 

docker/nixdocker.Dockerfile

@@ -0,0 +1,9 @@
+
+FROM docker.io/nixos/nix:latest AS nix-dev-base 
+RUN nix-channel --update
+RUN printf '%s\n' "extra-experimental-features = nix-command flakes" "extra-trusted-users = $USER" | tee -a /etc/nix/nix.conf 
+RUN  nix profile install --impure 'github:katrinafyi/pac-nix#aslp'  
+RUN  nix profile install --impure 'github:katrinafyi/pac-nix#bap-aslp'  
+RUN  nix profile install --impure 'nixpkgs#boogie'
+RUN  nix profile install --impure 'nixpkgs#openjdk'
+RUN  nix profile install --impure 'nixpkgs#coursier' && cs setup --yes && cs install mill --yes