From 93a49b81a35ac69d25eb114afc470cebd6b0dedf Mon Sep 17 00:00:00 2001
From: Anthony Gavazzi <anthonygavaz@yahoo.com>
Date: Tue, 2 Mar 2021 19:17:55 -0500
Subject: [PATCH] Update Dockerfile

---
 community/Dockerfile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/community/Dockerfile b/community/Dockerfile
index 8a37a53..a12bb77 100644
--- a/community/Dockerfile
+++ b/community/Dockerfile
@@ -1,3 +1,4 @@
+
 # Debian 10 requires LLVM 9 to be installed from source (no package, no backport),
 # hence we use Debian 11 (testing) for now (to be released in 2021).
 FROM debian:bullseye
@@ -13,6 +14,7 @@ RUN useradd -c 'User' -G sudo -s /bin/bash -m -g users user
 RUN perl -i -pe 's/(%sudo.*) ALL/\1 NOPASSWD: ALL/' /etc/sudoers
 
 # Install packages required to build boolector and sys
+RUN apt-get update
 RUN apt-get install -y llvm-9 haskell-stack git cmake curl
 
 USER user
@@ -22,6 +24,7 @@ WORKDIR src
 RUN git clone https://github.com/Boolector/btor2tools.git
 RUN git clone https://github.com/Boolector/boolector.git
 RUN git clone https://github.com/PLSysSec/sys.git
+RUN git clone https://github.com/llvm-hs/llvm-hs
 
 WORKDIR btor2tools
 RUN ./configure.sh && (cd build; make)
@@ -31,5 +34,18 @@ RUN sudo cp build/lib/libbtor2parser.so  /usr/lib/ && \
 WORKDIR ../boolector
 RUN ./contrib/setup-lingeling.sh && ./configure.sh --shared --prefix /usr
 RUN cd build && make && sudo make install
+
 WORKDIR ../sys
 RUN stack build
+
+RUN sudo apt-get update
+RUN sudo apt-get install -y clang-9
+RUN sudo apt-get install -y libsfml-dev
+RUN sudo ln /usr/bin/clang-9 /usr/bin/clang
+RUN sudo ln /usr/bin/clang++-9 /usr/bin/clang++
+RUN sudo ln /usr/bin/llvm-link-9 /usr/bin/llvm-link
+
+RUN sudo apt-get install -y pip vim file
+RUN sudo pip install wllvm
+ENV PATH=$PATH:/home/user/.local/bin
+ENV LLVM_COMPILER=clang