adapted ASPPlugin properties file to access pyclingo

aantakli · Mar 8, 2023 · bd69bec · bd69bec
1 parent 8e0d681
commit bd69bec
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -6,8 +6,6 @@ RUN apk info libstdc++
 
 RUN python3 -m pip install --upgrade pip
 RUN pip install clingo
-RUN export PATH=$PATH:/usr/lib/python3.9/site-packages/clingo
-RUN export clingo=/usr/lib/python3.9/site-packages/clingo
 
 WORKDIR app
 

diff --git a/pluginsystem/plugins/ASPPlugin/src/main/resources/envVariables.properties b/pluginsystem/plugins/ASPPlugin/src/main/resources/envVariables.properties
@@ -1,3 +1,4 @@
 clingo: clingo
+pyclingo: python3 clingo
 plingo: python C:/Users/anan02-admin/anaconda3/Scripts/plingo
 python: python