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

1 files changed, 5 insertions, 1 deletions

diff --git a/pkgs/servers/sql/postgresql/ext/pgroonga.nix b/pkgs/servers/sql/postgresql/ext/pgroonga.nix
index 8d8f7c48235d..6afbacca812c 100644
--- a/pkgs/servers/sql/postgresql/ext/pgroonga.nix
+++ b/pkgs/servers/sql/postgresql/ext/pgroonga.nix
@@ -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 ];
   };
 }