Install softposit in Docker

herbie-fp · Feb 6, 2019 · db362f1 · db362f1
1 parent 3527bb6
commit db362f1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -4,6 +4,7 @@ RUN apt-get update \
  && apt-get install -y libcairo2-dev libjpeg62 libpango1.0-dev \
  && rm -rf /var/lib/apt/lists/*
 ADD src /src/herbie
+RUN raco pkg install --auto softposit-rkt
 RUN raco pkg install --auto /src/herbie
 ENTRYPOINT ["racket", "/src/herbie/herbie.rkt"]
 CMD ["web", "--port", "80", "--quiet", "--demo"]