Postgresql install extension

postgresqlpostgresql-extensionsrdbms

I installed Posgresql version 10 (stable) through the source package (compiling manually) in the directory opt/pgv10/ .. on my OS LInux Debian Version 8.

I would like to use the HIPOPG extension 1, 2 to enable the creation of hypothetical indexes in postgresql.

I checked on document (link) you have to have the Dev package from postgresql, but I believe my installation does not have this (I think).

I tried to download the file extension .zip but can not proceed with the compilation and installation (with make and make install), because it gives the following message:
ERROR: could not access file "$libdir / hypopg": No such file or directory  Would anyone know how to manually install an extension and if it would have to have the -dev package and how would I install that package. Best Regards Neto Best Answer THe solution was: $ export PATH=/opt/pgv10/bin:$PATH -- go to hypopg directory$ USE_PGXS=1 make install