Adds Dockerfile with dependencies required for running the tool

AdiHarif · Oct 2, 2024 · 2797e7a · 2797e7a
1 parent a76fe14
commit 2797e7a
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -0,0 +1,18 @@
+
+FROM node:22
+
+RUN apt update && apt upgrade -y
+RUN apt install -y python3 clang flex bison cmake sqlite3
+
+RUN git clone https://github.com/souffle-lang/souffle && \
+    cd souffle && \
+    cmake -S . -B build && \
+    cmake --build build -j8
+RUN ln -s /souffle/build/src/souffle /usr/bin
+RUN ln -s /souffle/src/include/souffle /usr/include
+
+RUN useradd -m user
+USER user
+WORKDIR /home/user
+
+CMD ["/bin/bash"]