diff --git a/Dockerfile b/Dockerfile index 1df0e5e..cee4a5d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,9 +1,13 @@ -FROM postgres:15 +ARG PG_MAJOR=15 + +FROM postgres:$PG_MAJOR + +ARG PG_MAJOR COPY . /tmp/pgvector RUN apt-get update && \ - apt-get install -y --no-install-recommends build-essential postgresql-server-dev-15 && \ + apt-get install -y --no-install-recommends build-essential postgresql-server-dev-$PG_MAJOR && \ cd /tmp/pgvector && \ make clean && \ make OPTFLAGS="" && \ @@ -11,6 +15,6 @@ RUN apt-get update && \ mkdir /usr/share/doc/pgvector && \ cp LICENSE README.md /usr/share/doc/pgvector && \ rm -r /tmp/pgvector && \ - apt-get remove -y build-essential postgresql-server-dev-15 && \ + apt-get remove -y build-essential postgresql-server-dev-$PG_MAJOR && \ apt-get autoremove -y && \ rm -rf /var/lib/apt/lists/*