split dockerfile into main & tools

.devops/main.Dockerfile

@@ -0,0 +1,18 @@
+ARG UBUNTU_VERSION=22.04
+
+FROM ubuntu:$UBUNTU_VERSION as build
+
+RUN apt-get update && \
+    apt-get install -y build-essential
+
+WORKDIR /app
+
+COPY . .
+
+RUN make
+
+FROM ubuntu:$UBUNTU_VERSION as runtime
+
+COPY --from=build /app/main /main
+
+ENTRYPOINT [ "/main" ]

.devops/tools.Dockerfile

@@ -10,12 +10,6 @@ RUN pip install --upgrade pip setuptools wheel \
 
 WORKDIR /app
 
-COPY . .
+COPY ./convert-pth-to-ggml.py .
 
-RUN make
-
-FROM ubuntu:$UBUNTU_VERSION as runtime
-
-COPY --from=build /app/main /main
-
-ENTRYPOINT [ "/main" ]
+ENTRYPOINT ["python3", "convert-pth-to-ggml.py"]