From 5aa1d3bc82dff65ea40b5c9319ebfb5f916da51d Mon Sep 17 00:00:00 2001
From: h00807494 <hernanl.leon@huawei.com>
Date: Fri, 24 May 2024 11:26:30 +0200
Subject: [PATCH] Use dat3m 4.1.0

Signed-off-by: h00807494 <hernanl.leon@huawei.com>
---
 Dockerfile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index e62c92e..ef28673 100644
--- 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.1.0" \
+     https://github.com/hernanponcedeleon/dat3m.git
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \