File size: 917 Bytes
678c870
2d59e3d
f3df7ae
2d59e3d
b2b3782
 
 
 
 
 
 
 
4b12cc8
e393735
4b12cc8
2d59e3d
f3df7ae
 
6807c17
 
 
 
 
 
 
4da740c
f3df7ae
2d59e3d
6807c17
2d59e3d
19f3238
 
 
 
 
 
192bcb5
 
f3df7ae
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
37
38
39
40
FROM python:3.12

# Install pip + Gradio dependencies
RUN apt-get update && apt-get install -y \
    swig \
    g++ \
    cmake \
    make \
    libglib2.0-dev \
    libxml2-dev \
    libzip-dev \
    libcurl4-openssl-dev \
    fluidsynth \
    libfluidsynth-dev \
    ffmpeg \
    && rm -rf /var/lib/apt/lists/*
# Install Python packages
RUN pip install --upgrade pip
#RUN pip install verovio
#RUN python3 -c "import verovio, sys; sys.stderr.write('✅ Verovio version: ' + verovio.toolkit().getVersion() + '\n')"
#RUN pip install gradio
#RUN pip install music21

COPY requirements.txt .
RUN pip install -r requirements.txt

# Copy app and MEI file
WORKDIR /app
COPY . .

# Change ownership to user id 1000 (default HF user)
RUN chown -R 1000:1000 /app

# Switch to user id 1000 (non-root, for HF)
USER 1000

RUN which fluidsynth && fluidsynth --version || echo "❌ Fluidsynth not found"

CMD ["python3", "app.py"]