From de4c1acfa0ba628aae87f43eb3ef8bf757d3cb6b Mon Sep 17 00:00:00 2001
From: Faried Abu Zaid <fariedaz@gmail.com>
Date: Wed, 29 Nov 2023 10:21:26 +0100
Subject: [PATCH] fix build

---
 Dockerfile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 879fd44..78e6b1c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -141,23 +141,24 @@ RUN apt-get install -y --no-install-recommends \
     python3 \
     python3-pip
 # Packages maven and uuid-dev are required for carl-parser
+ENV CMAKE_PREFIX_PATH="/opt/carl/build:$CMAKE_PREFIX_PATH"
 
 # Build carl-parser
 ###################
-#WORKDIR /opt/
+WORKDIR /opt/
 
 # Obtain carl-parser from public repository
-#RUN git clone -b master14 https://github.com/ths-rwth/carl-parser.git
+RUN git clone -b master14 https://github.com/ths-rwth/carl-parser.git
 
 # Switch to build directory
-#RUN mkdir -p /opt/carl-parser/build
-#WORKDIR /opt/carl-parser/build
+RUN mkdir -p /opt/carl-parser/build
+WORKDIR /opt/carl-parser/build
 
 # Configure carl-parser
-#RUN cmake .. -DCMAKE_BUILD_TYPE=Release
+RUN cmake .. -DCMAKE_BUILD_TYPE=Release
 
 # Build carl-parser
-#RUN make carl-parser -j $no_threads
+RUN make carl-parser -j $no_threads
 
 # Build pycarl
 ##############