tjh.dev
1{ lib
2, stdenv
3, fetchFromGitHub
4, postgresql
5, openssl
6, zlib
7, readline
8, flex
9, curl
10, json_c
11}:
12
13stdenv.mkDerivation rec {
14 pname = "repmgr";
15 version = "5.4.0";
16
17 src = fetchFromGitHub {
18 owner = "EnterpriseDB";
19 repo = "repmgr";
20 rev = "v${version}";
21 sha256 = "sha256-QUxLqCZIopvqDncpaA8bxm9MHvO6R6jPrcd8hF8lqQs=";
22 };
23
24 nativeBuildInputs = [ flex ];
25
26 buildInputs = [ postgresql openssl zlib readline curl json_c ];
27
28 installPhase = ''
29 mkdir -p $out/{bin,lib,share/postgresql/extension}
30
31 cp repmgr{,d} $out/bin
32 cp *.so $out/lib
33 cp *.sql $out/share/postgresql/extension
34 cp *.control $out/share/postgresql/extension
35 '';
36
37 meta = with lib; {
38 homepage = "https://repmgr.org/";
39 description = "Replication manager for PostgreSQL cluster";
40 license = licenses.postgresql;
41 platforms = postgresql.meta.platforms;
42 maintainers = with maintainers; [ zimbatm ];
43 };
44}
45