no installation script nor update path about pg_pathman

[kovdb75]

Hi!

Unfortunately I don't have your configuration Red Hat 8.3.1-5, gcc 8.3.1.
I tried to see problem on my Ubuntu 22.04 + gcc-11.
I created directory "builds" and then:

1. Commands inside directory "builds":

git clone git://git.postgresql.org/git/postgresql.git
git clone https://github.com/postgrespro/pg_pathman

2. Commands inside "postgresql" directory:

git checkout REL_10_STABLE
./configure --enable-debug --enable-tap-tests --enable-cassert --with-icu --prefix `pwd`/install >/dev/null && make -j4 -s && make -j4 -C contrib -s && make install -s && make install -C contrib -s

3. Command inside "pg_pathman" directory:

PATH=../postgresql/install/bin:$PATH make install USE_PGXS=1 

4. Commands inside "postgresql" directory (database creation in "builds/postgresql/data-10" directory):

./install/bin/pg_ctl initdb -w -D data-10 --options="-A trust -D data-10 -E utf-8 --no-locale -N -n"
./install/bin/pg_ctl -D data-10 start
./install/bin/createdb test
./install/bin/pg_ctl -D data-10 stop

5. Add "shared_preload_libraries='pg_pathman'" into end of file ./data-10/postgresql.conf and start server again:

./install/bin/pg_ctl -D data-10 start
./install/bin/psql test

6. And execute queries in psql:

CREATE SCHEMA pathman;
GRANT USAGE ON SCHEMA pathman TO PUBLIC;
CREATE EXTENSION pg_pathman WITH SCHEMA pathman;

And I don't see any error after last query ...
Could you repeat the same steps on Red Hat?