Use dat3m 4.1.0

Signed-off-by: h00807494 <[email protected]>
open-s4c · May 24, 2024 · d8b62a8 · d8b62a8
1 parent 2fe4827
commit d8b62a8
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -67,10 +67,8 @@ RUN apt-get update  \
  && rm -rf /var/lib/apt/lists/*
 
 RUN cd /tmp \
- && git clone \
-     https://github.com/hernanponcedeleon/dat3m.git \
- && cd dat3m \
- && git checkout "dda0d6c4aac9810ed0a2cb3987ad937f0b729228"
+ && git clone --depth 1 --branch "4.0.1" \
+     https://github.com/hernanponcedeleon/dat3m.git
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \