diff options
| author | Patrick Steinhardt <psteinhardt@gitlab.com> | 2022-10-12 09:42:23 +0300 |
|---|---|---|
| committer | Patrick Steinhardt <psteinhardt@gitlab.com> | 2022-10-12 16:24:55 +0300 |
| commit | 4ea8df1174e84758bcc0322491d0457d3aecce2a (patch) | |
| tree | 3ce475ff86fe7b4dbae0e112bf4393dd0702d8bf | |
| parent | 374ae6c9473f7158cbcd23e0cf7ad4f189988f77 (diff) | |
Makefile: Stop building libgit2 CLIpks-libgit2-build-options-fixup
The libgit2 project has started to implement a CLI that tries to mimic
Git commands in v1.5.0. This is nothing we need though, but it's still
getting built by default and thus needlessly extends build times.
Disable building the command line interface.
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -191,6 +191,7 @@ LIBGIT2_INSTALL_DIR ?= ${DEPENDENCY_DIR}/libgit2/install ifeq ($(origin LIBGIT2_BUILD_OPTIONS),undefined) ## Build options for libgit2. LIBGIT2_BUILD_OPTIONS ?= + LIBGIT2_BUILD_OPTIONS += -DBUILD_CLI=OFF LIBGIT2_BUILD_OPTIONS += -DBUILD_TESTS=OFF LIBGIT2_BUILD_OPTIONS += -DBUILD_SHARED_LIBS=OFF LIBGIT2_BUILD_OPTIONS += -DCMAKE_C_FLAGS=-fPIC |