File size: 1,019 Bytes
e3eae4d
 
d072ab4
a1efe76
 
 
e3eae4d
a1efe76
d072ab4
b12a328
 
d072ab4
e3eae4d
 
a1efe76
 
 
b12a328
a1efe76
e3eae4d
b12a328
d072ab4
4992f1b
b12a328
 
e3eae4d
 
 
b12a328
 
d072ab4
b12a328
a1efe76
b12a328
a1efe76
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
FROM python:3.10-slim

# OS libs for RDKit drawing
RUN apt-get update && apt-get install -y --no-install-recommends \
        build-essential libxrender1 libxext6 libsm6 libx11-6 \
        libglib2.0-0 libfreetype6 libpng-dev wget && \
    rm -rf /var/lib/apt/lists/*

# Non‑root user
RUN useradd -m appuser

# Python deps
RUN pip install --no-cache-dir --upgrade pip && \
    pip install --no-cache-dir \
        streamlit==1.45.0 rdkit-pypi==2022.9.5 pandas==2.2.3 \
        numpy==1.26.4 torch==2.2.0 torch-geometric==2.5.2 \
        ogb==1.3.6 pillow==10.3.0

WORKDIR /app
COPY . .

# Writable dirs, owned by appuser, perms 775
RUN install -d -o appuser -g appuser -m 775 /data /tmp/streamlit

ENV DB_DIR=/data \
    STREAMLIT_SERVER_HEADLESS=true \
    STREAMLIT_SERVER_ADDRESS=0.0.0.0 \
    STREAMLIT_SERVER_PORT=7860 \
    STREAMLIT_TELEMETRY_DISABLED=true \
    STREAMLIT_BROWSER_GATHER_USAGE_STATS=false \
    STREAMLIT_SERVER_MAX_UPLOAD_SIZE=200

EXPOSE 7860
USER appuser
CMD ["streamlit", "run", "app.py"]