From e921657e52e92fe982960c1c8bc2fa2d6abe10e7 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 11 Sep 2017 13:08:48 +0200
Subject: Fix docker build

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index f4aec51..49c40aa 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -10,6 +10,7 @@ WORKDIR /usr/src/iclean
 RUN PACKAGES="libreadline-dev make gcc" \
 	&& apt-get update -qq \
 	&& apt-get install -qq $PACKAGES --no-install-recommends \
+	&& ln -s /opt/clean/lib/clean-platform/OS-Independent /opt/clean/lib/Platform \
 	&& make -B \
 # Cleanup
 	&& rm -rf \
-- 
cgit v1.2.3