diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 000000000..f06e21172 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,8 @@ +FROM debian:12 + +RUN apt-get update -y && apt-get install -y build-essential g++ git +WORKDIR /app/src +COPY . . +RUN make -j +VOLUME [ "/models" ] +ENTRYPOINT [ "/app/src/start.sh" ] diff --git a/start.sh b/start.sh new file mode 100755 index 000000000..46d11a5b2 --- /dev/null +++ b/start.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +echo "Starting up" + +if [ -n "$REBUILD" ]; then + ls + make clean + make -j +fi + +/app/src/server "$@"