From af9fb6eb3bf672794da3618d186bc4b1950efc62 Mon Sep 17 00:00:00 2001 From: Ivan Kozik Date: Thu, 29 Sep 2022 19:19:47 +0000 Subject: [PATCH] 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 --- pkgs/servers/sql/postgresql/ext/pgroonga.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 ]; }; }