diff --git a/.dockerignore b/.dockerignore deleted file mode 100644 index 49dfd6c..0000000 --- a/.dockerignore +++ /dev/null @@ -1,15 +0,0 @@ -/.git/ -/dist/ -/log/ -/results/ -/tmp_check/ -/sql/vector--?.?.?.sql -regression.* -*.o -*.so -*.bc -*.dll -*.dylib -*.obj -*.lib -*.exp diff --git a/Dockerfile b/Dockerfile index 9364409..7cc81f0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,8 +1,10 @@ +# syntax=docker/dockerfile:1 + ARG PG_MAJOR=17 FROM postgres:$PG_MAJOR ARG PG_MAJOR -COPY . /tmp/pgvector +ADD https://github.com/pgvector/pgvector.git#v0.8.0 /tmp/pgvector RUN apt-get update && \ apt-mark hold locales && \