diff options
author | William A. Kennington III <william@wkennington.com> | 2015-04-08 12:10:31 -0700 |
---|---|---|
committer | William A. Kennington III <william@wkennington.com> | 2015-04-08 12:13:34 -0700 |
commit | 9308b8e1216186053e1a5a94ee1b462f39de4a6b (patch) | |
tree | 9e332f60d6e5d51e3bfcd91d76ce8a43dce58f92 /pkgs/servers | |
parent | aec35dfa58192146a9048a559bb9b160d3ad4a36 (diff) | |
download | nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar.gz nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar.bz2 nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar.lz nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar.xz nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.tar.zst nixpkgs-9308b8e1216186053e1a5a94ee1b462f39de4a6b.zip |
pgpool: 3.4.1 -> 3.4.2
Diffstat (limited to 'pkgs/servers')
-rw-r--r-- | pkgs/servers/sql/pgpool/default.nix | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/pkgs/servers/sql/pgpool/default.nix b/pkgs/servers/sql/pgpool/default.nix index e39fe85fa6a..137e536e5d8 100644 --- a/pkgs/servers/sql/pgpool/default.nix +++ b/pkgs/servers/sql/pgpool/default.nix @@ -1,14 +1,26 @@ -{ stdenv, fetchurl, postgresql }: +{ stdenv, fetchurl, postgresql, openssl, pam ? null, libmemcached ? null }: stdenv.mkDerivation rec { - name = "pgpool-II-3.4.1"; + name = "pgpool-II-3.4.2"; src = fetchurl { + name = "${name}.tar.gz"; url = "http://www.pgpool.net/download.php?f=${name}.tar.gz"; - sha256 = "11fy4lvh2n04zmywy4vhp229yxdw8fbirrlvz44j1vnarkb664pd"; + sha256 = "0lf3fvwc2ib4md25a3hnv822nhy9ac06vg0ndw8q9bry66hzwcfh"; }; - buildInputs = [ postgresql ]; + buildInputs = [ postgresql openssl pam libmemcached ]; + + configureFlags = [ + "--sysconfdir=/etc" + "--localstatedir=/var" + "--with-openssl" + ] ++ stdenv.lib.optional (pam != null) "--with-pam" + ++ stdenv.lib.optional (libmemcached != null) "--with-memcached=${libmemcached}"; + + installFlags = [ + "sysconfdir=\${out}/etc" + ]; meta = with stdenv.lib; { homepage = http://pgpool.net/mediawiki/index.php; |