stan wrote: > BUT, I went to the directory where I have the exentsion's source, did a > make clean ; make ; make install, and the files were still installed in the > V11 tree. How can I instruct the system to put these in the V12 tree? With the Debian packaging, /usr/bin/pg_config is a shell script that has this comment on top: # If postgresql-server-dev-* is installed, call pg_config from the latest # available one. Otherwise fall back to libpq-dev's version. According to this comment, invoking /usr/bin/pg_config refers to the v11 server probably because you didn't install postgresql-server-dev-12 yet. When you'll have both postgresql-server-dev-11 and postgresql-server-dev-12 installed, independently of which clusters are actually running, you can still force a specific target version when compiling an extension with : $ make PG_CONFIG=/usr/lib/postgresql/11/bin/pg_config [install] or $ make PG_CONFIG=/usr/lib/postgresql/12/bin/pg_config [install] Best regards, -- Daniel Vérité PostgreSQL-powered mailer: http://www.manitou-mail.org Twitter: @DanielVerite
