From b70670a12726ad6d404cb76c1980bbea5b069c24 Mon Sep 17 00:00:00 2001
From: Stefan <svill33@gmail.com>
Date: Wed, 18 Oct 2023 17:46:34 +0200
Subject: [PATCH] changed Dockerfile to install Z3

---
 WebSocketLanguageServer/Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/WebSocketLanguageServer/Dockerfile b/WebSocketLanguageServer/Dockerfile
index f34ea4e..6f91ef4 100644
--- a/WebSocketLanguageServer/Dockerfile
+++ b/WebSocketLanguageServer/Dockerfile
@@ -1,6 +1,10 @@
 FROM node:18
 # Create app directory
 WORKDIR /usr/src/app
+
+RUN apt-get update
+RUN apt-get install z3
+
 COPY package*.json ./
 
 RUN npm install
@@ -10,4 +14,5 @@ COPY . .
 EXPOSE 30000
 
 RUN npm run build
+
 CMD [ "npm", "run", "start" ]
\ No newline at end of file