Hugging Face's logo

Spaces:
Claimant
/
POMS-QA-LogicLLM
Sleeping

App Files Community
npc0 commited on
Commit
72fe0e3
·
verified ·
1 Parent(s): 9244666

Update Dockerfile

Browse files
Files changed (1) hide show
  1. Dockerfile +3 -5
Dockerfile CHANGED
@@ -1,9 +1,7 @@
1
- FROM python:3.11-slim
2
 
3
- RUN apt-get update && apt-get upgrade -y
4
- RUN apt-get install -y --reinstall software-properties-common
5
- RUN apt-add-repository ppa:swi-prolog/stable
6
- RUN apt-get install -y swi-prolog
7
  RUN apt-get install -y git gcc python3-dev
8
 
9
  WORKDIR /app
 
1
+ FROM swipl
2
 
3
+ RUN python --version
4
+ RUN cat /etc/os-release
 
 
5
  RUN apt-get install -y git gcc python3-dev
6
 
7
  WORKDIR /app