diff options
Diffstat (limited to 'nixpkgs/pkgs/servers/sql/postgresql/ext/pg_partman.nix')
-rw-r--r-- | nixpkgs/pkgs/servers/sql/postgresql/ext/pg_partman.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/servers/sql/postgresql/ext/pg_partman.nix b/nixpkgs/pkgs/servers/sql/postgresql/ext/pg_partman.nix new file mode 100644 index 000000000000..9a289919558c --- /dev/null +++ b/nixpkgs/pkgs/servers/sql/postgresql/ext/pg_partman.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchFromGitHub, postgresql }: + +stdenv.mkDerivation rec { + pname = "pg_partman"; + version = "4.4.0"; + + buildInputs = [ postgresql ]; + + src = fetchFromGitHub { + owner = "pgpartman"; + repo = pname; + rev = "refs/tags/v${version}"; + sha256 = "0wr2nivp0b8vk355rnv4bygiashq98q9zhfgdbxzhm7bgxd01rk2"; + }; + + installPhase = '' + mkdir -p $out/{lib,share/postgresql/extension} + + cp src/*.so $out/lib + cp updates/* $out/share/postgresql/extension + cp -r sql/* $out/share/postgresql/extension + cp *.control $out/share/postgresql/extension + ''; + + meta = with stdenv.lib; { + description = "Partition management extension for PostgreSQL"; + homepage = "https://github.com/pgpartman/pg_partman"; + maintainers = with maintainers; [ ggpeti ]; + platforms = postgresql.meta.platforms; + license = licenses.postgresql; + }; +} |