Update dat3m hash

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