Copy pom file from dat3m_build (needed for dat3m version)

Signed-off-by: h00807494 <[email protected]>
open-s4c · May 13, 2024 · 73e63a0 · 73e63a0
1 parent dbacb3f
commit 73e63a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -122,6 +122,7 @@ RUN apt-get update \
 
 # dat3m
 COPY --from=dat3m_builder /usr/share/dat3m /usr/share/dat3m
+COPY --from=dat3m_builder /usr/share/dat3m/pom.xml /usr/share/dat3m/pom.xml
 RUN ln -s /usr/share/dat3m/dartagnan/target/libs/*.so /usr/lib/
 ENV DAT3M_HOME=/usr/share/dat3m
 ENV DAT3M_OUTPUT="/tmp/dat3m"