Unable to install pg_pathman to PosgreSQL13 on Ubuntu 18.04 LTS

[drednout]

Problem description

Unable to install pg_pathman on Ubuntu 18.04 LTS

1. git clone https://github.com/postgrespro/pg_pathman
2. cd pg_pathman
3. git checkout 1.5.12
4. PG_CONFIG=/usr/lib/postgresql/13/bin/pg_config sudo make install USE_PGXS=1
5. Modify postgresql.conf: shared_preload_libraries = 'pg_pathman'
6. Restart PostgreSQL: sudo service postgresql start 13
7. Visit logs, see

2021-09-22 17:51:02.882 +03 [3965] FATAL:  could not load library "/usr/lib/postgresql/13/lib/pg_pathman.so": /usr/lib/postgresql/13/lib/pg_pathman.so: undefined symbol: elog_finish
2021-09-22 17:51:02.882 +03 [3965] LOG:  database system is shut down
pg_ctl: could not start server

Environment

OS:

╰─$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 18.04.5 LTS
Release:        18.04
Codename:       bionic

PostgreSQL:

postgres=# select version();
                                                             version
---------------------------------------------------------------------------------------------------------------------------------
 PostgreSQL 13.0 (Ubuntu 13.0-1.pgdg18.04+1) on x86_64-pc-linux-gnu, compiled by gcc (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0, 64-bit
(1 row)

postgres=# SELECT * FROM pg_extension
postgres-# ;

  oid  | extname | extowner | extnamespace | extrelocatable | extversion | extconfig | extcondition
-------+---------+----------+--------------+----------------+------------+-----------+--------------
 13407 | plpgsql |       10 |           11 | f              | 1.0        |           |

[drednout]

I cleaned all files in build directory and tried to build one more time with command:

PG_CONFIG=/usr/lib/postgresql/13/bin/pg_config sudo make install USE_PGXS=1

And it works! The issue above happened likely because I have several version of PostgreSQL server on my host and by default I have 11.9.