1{
2 curl,
3 fetchFromGitHub,
4 flex,
5 json_c,
6 lib,
7 postgresql,
8 postgresqlBuildExtension,
9}:
10
11postgresqlBuildExtension (finalAttrs: {
12 pname = "repmgr";
13 version = "5.5.0";
14
15 src = fetchFromGitHub {
16 owner = "EnterpriseDB";
17 repo = "repmgr";
18 tag = "v${finalAttrs.version}";
19 hash = "sha256-8G2CzzkWTKEglpUt1Gr7d/DuHJvCIEjsbYDMl3Zt3cs=";
20 };
21
22 nativeBuildInputs = [ flex ];
23
24 buildInputs = postgresql.buildInputs ++ [
25 curl
26 json_c
27 ];
28
29 meta = {
30 homepage = "https://repmgr.org/";
31 description = "Replication manager for PostgreSQL cluster";
32 license = lib.licenses.postgresql;
33 platforms = postgresql.meta.platforms;
34 maintainers = with lib.maintainers; [ zimbatm ];
35 };
36})