Skip to main content

Browse the archive

Revision e304ad8da2da7d37e104d68ea4f5485f59a269c0 authored by Mosè Giordano on 02 November 2022, 11:10:27 UTC, committed by GitHub on 02 November 2022, 11:10:27 UTC 
[deps] Do not build CLI of libgit2 (#47422)
 
* [deps] Do not build CLI of libgit2

The build system of this component is broken upstream, we don't need it, let's just don't build it.

* [LibGit2_jll] Update build which doesn't include the CLI
1 parent e9ca677
Raw File
openlibm.version 
## jll artifact
OPENLIBM_JLL_NAME := OpenLibm

## source build
OPENLIBM_VER := 0.8.1
OPENLIBM_BRANCH=v0.8.1
OPENLIBM_SHA1=ae2d91698508701c83cab83714d42a1146dccf85
back to top