update23

Dockerfile

@@ -1,5 +1,8 @@
 FROM ghcr.io/nuprl/multipl-e-evaluation:v3.1
 
+# Install GNAT for Ada language support
+RUN apt-get update && apt-get install -y gnat && apt-get clean
+
 # Override the default entrypoint of the base image
 ENTRYPOINT []
 WORKDIR /app

src/eval_clj.py

@@ -2,13 +2,25 @@
 Evaluates a generated Clojure program (.clj).
 """
 import os
+import tempfile
 from pathlib import Path
 from src.safe_subprocess import run
 from src.libeval import run_without_exn
 
 
 def eval_script(path: Path):
-    result = run(["clojure", "-J-Dclojure.main.report=stderr", "-M", str(path)])
+    # Create environment with a writable temporary directory for Clojure cache
+    temp_dir = tempfile.mkdtemp(prefix="clojure_home_")
+    env = os.environ.copy()
+    env["XDG_CONFIG_HOME"] = temp_dir  # Set XDG_CONFIG_HOME for Clojure cache
+    env["XDG_DATA_HOME"] = temp_dir    # Set XDG_DATA_HOME for Clojure data
+    env["XDG_CACHE_HOME"] = temp_dir   # Set XDG_CACHE_HOME for caches
+    
+    # Run Clojure with the custom environment
+    result = run(
+        ["clojure", "-J-Dclojure.main.report=stderr", "-M", str(path)],
+        env=env
+    )
 
     if result.timeout:
         status = "Timeout"
@@ -27,4 +39,4 @@ def eval_script(path: Path):
     }
 
 if __name__ == "__main__":
-    main()
+    print("This module is not meant to be executed directly.")