git2r: add SSH support

When building the devtools R module, which depends on git2r, it reports
that libssh2 cannot be found, and falls back to building without SSH
support. Adding libssh2.dev to git2r's native build inputs fixes this.
This commit is contained in:
ivanbrennan 2018-09-11 16:02:46 -04:00
parent eae589058c
commit 989f24befc
No known key found for this signature in database
GPG key ID: 79C3C47DC652EA54

View file

@ -258,7 +258,7 @@ let
Formula = [ pkgs.gmp ];
geoCount = [ pkgs.gsl_1 ];
gdtools = [ pkgs.cairo.dev pkgs.fontconfig.lib pkgs.freetype.dev ];
git2r = [ pkgs.zlib.dev pkgs.openssl.dev ];
git2r = [ pkgs.zlib.dev pkgs.openssl.dev pkgs.libssh2.dev ];
GLAD = [ pkgs.gsl_1 ];
glpkAPI = [ pkgs.gmp pkgs.glpk ];
gmp = [ pkgs.gmp.dev ];