2019-05-14 18:32:34 +02:00
|
|
|
{ stdenv, fetchFromGitHub, postgresql }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "pg_partman";
|
2019-11-14 00:09:43 +01:00
|
|
|
version = "4.2.2";
|
2019-05-14 18:32:34 +02:00
|
|
|
|
|
|
|
buildInputs = [ postgresql ];
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "pgpartman";
|
|
|
|
repo = pname;
|
|
|
|
rev = "refs/tags/v${version}";
|
2019-11-14 00:09:43 +01:00
|
|
|
sha256 = "04d34b5z957imm3dndzjn474rxbgx95ha7a9x3vd0rya1pjv927r";
|
2019-05-14 18:32:34 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
installPhase = ''
|
2019-08-15 00:36:59 +02:00
|
|
|
mkdir -p $out/{lib,share/postgresql/extension}
|
2019-05-14 18:32:34 +02:00
|
|
|
|
|
|
|
cp src/*.so $out/lib
|
2019-07-01 16:18:03 +02:00
|
|
|
cp updates/* $out/share/postgresql/extension
|
|
|
|
cp -r sql/* $out/share/postgresql/extension
|
|
|
|
cp *.control $out/share/postgresql/extension
|
2019-05-14 18:32:34 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
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;
|
|
|
|
};
|
|
|
|
}
|