postgresqlPackages.pgroonga: also install the pgroonga_database extension
This extension contains the pgoronga_database_remove() function, which can be used to actually remove the pgrn* files, because `DROP INDEX` on a pgroonga index does not actually delete the index data. https://pgroonga.github.io/reference/modules/pgroonga-database.html https://pgroonga.github.io/reference/functions/pgroonga-database-remove.html
This commit is contained in:
parent
4dbfb550f0
commit
af9fb6eb3b
1 changed files with 5 additions and 1 deletions
|
@ -18,6 +18,10 @@ stdenv.mkDerivation rec {
|
|||
install -D pgroonga.so -t $out/lib/
|
||||
install -D pgroonga.control -t $out/share/postgresql/extension
|
||||
install -D data/pgroonga-*.sql -t $out/share/postgresql/extension
|
||||
|
||||
install -D pgroonga_database.so -t $out/lib/
|
||||
install -D pgroonga_database.control -t $out/share/postgresql/extension
|
||||
install -D data/pgroonga_database-*.sql -t $out/share/postgresql/extension
|
||||
'';
|
||||
|
||||
meta = with lib; {
|
||||
|
@ -31,6 +35,6 @@ stdenv.mkDerivation rec {
|
|||
homepage = "https://pgroonga.github.io/";
|
||||
license = licenses.postgresql;
|
||||
platforms = postgresql.meta.platforms;
|
||||
maintainers = with maintainers; [ DerTim1 ];
|
||||
maintainers = with maintainers; [ DerTim1 ivan ];
|
||||
};
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue