Merge pull request #36452 from LumiGuide/pgmanage-10.1.1

pgmanage 10.1.1
This commit is contained in:
Michael Raskin 2018-03-25 14:27:40 +00:00 committed by GitHub
commit 8c2c82bf14
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,15 +2,23 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "pgmanage-${version}"; name = "pgmanage-${version}";
version = "10.1.0"; version = "10.1.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pgManage"; owner = "pgManage";
repo = "pgManage"; repo = "pgManage";
rev = "v${version}"; rev = "v${version}";
sha256 = "0kzdq3xl6wyclngq307544yk57vpm10wyklkbgzx649z3pls3kyw"; sha256 = "1gv96an1ff9amh16lf71wknshmxl3l4hsl3ga7wb106c10i14zzc";
}; };
patchPhase = ''
patchShebangs src/configure
'';
configurePhase = ''
./configure --prefix $out
'';
buildInputs = [ postgresql openssl ]; buildInputs = [ postgresql openssl ];
meta = with stdenv.lib; { meta = with stdenv.lib; {