From 17c72f2e2d34387cd3918f21d9ed24e5eb25687c Mon Sep 17 00:00:00 2001
From: Antoniu Pop <antoniu.pop@zama.ai>
Date: Fri, 1 Apr 2022 23:36:09 +0100
Subject: [PATCH] fix(dataflow docker image): remove obsolete libDFRuntime.so
 references in the dockerfile.

---
 builders/Dockerfile.concrete-compiler-df-env | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/builders/Dockerfile.concrete-compiler-df-env b/builders/Dockerfile.concrete-compiler-df-env
index c8207d9bd..7eecbed12 100644
--- a/builders/Dockerfile.concrete-compiler-df-env
+++ b/builders/Dockerfile.concrete-compiler-df-env
@@ -29,15 +29,13 @@ RUN make PARALLEL_EXECUTION_ENABLED=ON BUILD_DIR=/build CCACHE=ON \
     mv /build/tools/concretelang/python_packages/concretelang_core /concretelang_core && \
     mv /build/bin/concretecompiler /bin && \
     mv /build/lib/libConcretelangRuntime.so /lib && \
-    mv /build/lib/libDFRuntime.so /lib && \
     rm -rf /build && \
     mkdir -p /build/tools/concretelang/python_packages/ && \
     mkdir -p /build/bin && \
     mkdir -p /build/lib && \
     mv /concretelang_core /build/tools/concretelang/python_packages/ && \
     mv /bin/concretecompiler /build/bin && \
-    mv /lib/libConcretelangRuntime.so /build/lib && \
-    mv /lib/libDFRuntime.so /build/lib
+    mv /lib/libConcretelangRuntime.so /build/lib
 ENV PYTHONPATH "$PYTHONPATH:/build/tools/concretelang/python_packages/concretelang_core"
 ENV PATH "$PATH:/build/bin"
 ENV RT_LIB "/build/lib/libConcretelangRuntime.so"