Fix Docker image for workspaces for coq-lsp to find its libraries.

README.md

@@ -173,7 +173,8 @@ export NODE_IP=$(openstack coe cluster show inf110 -f json | jq -r .node_address
 scp -J ubuntu@137.194.210.143 inf110-workspace.tar core@$NODE_IP:/tmp
 ssh -J ubuntu@137.194.210.143 core@$NODE_IP
 sudo -i
-docker load -i /tmp/inf110-workspace.tar
+# load and tag the image as 10.0.0.99:5000/inf110-workspace:latest
+docker tag $(docker load -i /tmp/inf110-workspace.tar | awk 'END {print $4}') 10.0.0.99:5000/inf110-workspace:latest
 docker push 10.0.0.99:5000/inf110-workspace:latest
 rm /tmp/inf110-workspace.tar
 ```

flake.nix

@@ -47,14 +47,16 @@
             Env = [
               "LANG=en_US.UTF-8"
               "HOME=/home/coder"
+              "OCAMLPATH=${pkgs.coqPackages_8_19.coq-lsp}/lib/ocaml/${pkgs.coqPackages_8_19.coq.ocaml.version}/site-lib"
             ];
           };
           contents = with pkgs; buildEnv {
             name = "copyToRoot";
-            paths = [
+            paths = with coqPackages_8_19; [
               bashInteractive
-              coq_8_19
-              coqPackages_8_19.coq-lsp
+              coq.ocamlPackages.findlib
+              coq
+              coq-lsp
               dockerTools.binSh
               (python3.withPackages (ps: with ps; [ jupyter-client ipykernel ]))
             ];