From 324500397d6b053492ac31646e04ea564d39cb82 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 23 Sep 2024 15:00:32 +0200
Subject: [PATCH] added pycarl via gh repo

---
 dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dockerfile b/dockerfile
index c8349c5..f2ab990 100644
--- a/dockerfile
+++ b/dockerfile
@@ -2,7 +2,7 @@ FROM movesrwth/storm-basesystem:ubuntu-22.04 as build
 
 #COPY ./tempest-devel /opt/tempest
 #COPY ./tempest-py /opt/tempestpy
-COPY ./pycarl-2.0.4 /opt/pycarl
+#COPY ./pycarl-2.0.4 /opt/pycarl
 #COPY ./carl /opt/carl
 
 # RUN rm -r /opt/tempest/.git
@@ -61,6 +61,7 @@ RUN apt-get install -y python3-pip
 
 
 # build pycarl
+RUN git clone -b 2.0.4 https://github.com/moves-rwth/pycarl.git /opt/pycarl
 WORKDIR /opt/pycarl
 RUN python setup.py build_ext -j $no_threads
 RUN pip install .