diff options
| author | Patrick Steinhardt <[email protected]> | 2020-07-25 22:08:04 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-25 13:08:04 -0700 |
| commit | d8f9990d4d0af1f80c13aa3ff256b004c7cadc46 (patch) | |
| tree | 32ad3b9199d61ace2c0125efacdbf8b322b70199 /script/install-libgit2.sh | |
| parent | b1cad11555ac966c1575375eb69ebb6c6463b27f (diff) | |
Fix installation of libgit2 into wrong libdir (#624)
Upstream libgit2 has migrated to use the GNUInstallDirs module to decide
where things will be installed to by default. While it improves
consistency with the host system, we're not really after that when
building the vendored libgit2 library, and in fact libgit2.{a,pc} may
now be installed into a different directory than before as it started to
depend on the host platform.
Fix this by explicitly specifying that we want the library and pkgconfig
file to be installed into a plain "lib/" directory.
Diffstat (limited to 'script/install-libgit2.sh')
0 files changed, 0 insertions, 0 deletions