changed Dockerfile to install Z3

SoftVarE-Group · Oct 18, 2023 · b70670a · b70670a
1 parent 12a171f
commit b70670a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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" ]