From 96ae1a6a7231f10c2728252701ed043e817e44d7 Mon Sep 17 00:00:00 2001 From: Andrew Kane Date: Sat, 1 Apr 2023 13:15:00 -0700 Subject: [PATCH] Added PG_MAJOR arg to Dockerfile [skip ci] --- Dockerfile | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) 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/*