Spaces:
Sleeping
Sleeping
Commit ·
8d7edad
1
Parent(s): e663408
update dockerfile
Browse files- Dockerfile +1 -1
Dockerfile
CHANGED
|
@@ -24,7 +24,7 @@ COPY src/ ./src/
|
|
| 24 |
RUN chmod +x setup.sh && ./setup.sh
|
| 25 |
|
| 26 |
# Remove MiniZinc's bundled OpenSSL libs to prevent conflict with Python's SSL module
|
| 27 |
-
RUN rm /opt/minizinc/lib/libcrypto.so.3 /opt/minizinc/lib/libssl.so.3
|
| 28 |
|
| 29 |
# make the directories for local HF downloads and temp directory for execution code
|
| 30 |
RUN mkdir -p /app/local_hf_downloads && chmod 777 /app/local_hf_downloads
|
|
|
|
| 24 |
RUN chmod +x setup.sh && ./setup.sh
|
| 25 |
|
| 26 |
# Remove MiniZinc's bundled OpenSSL libs to prevent conflict with Python's SSL module
|
| 27 |
+
RUN rm -f /opt/minizinc/lib/libcrypto.so.3 /opt/minizinc/lib/libssl.so.3
|
| 28 |
|
| 29 |
# make the directories for local HF downloads and temp directory for execution code
|
| 30 |
RUN mkdir -p /app/local_hf_downloads && chmod 777 /app/local_hf_downloads
|