mirror of
https://github.com/crazywhalecc/static-php-cli.git
synced 2026-07-04 07:15:38 +08:00
All GNU packages now use ftp.gnu.org (stable canonical server) as the primary filelist source, with ftpmirror.gnu.org configured as source-mirror fallback. ftpmirror uses DNS round-robin across many mirrors of varying reliability; this setup eliminates random CI failures caused by unreachable mirror nodes while preserving a fallback path.
21 lines
478 B
YAML
21 lines
478 B
YAML
gmp:
|
|
type: library
|
|
artifact:
|
|
source:
|
|
type: filelist
|
|
url: 'https://ftp.gnu.org/gnu/gmp/'
|
|
regex: '/href="(?<file>gmp-(?<version>[^"]+)\.tar\.xz)"/'
|
|
source-mirror:
|
|
type: filelist
|
|
url: 'https://ftpmirror.gnu.org/gnu/gmp/'
|
|
regex: '/href="(?<file>gmp-(?<version>[^"]+)\.tar\.xz)"/'
|
|
metadata:
|
|
license-files: ['@/gmp.txt']
|
|
license: Custom
|
|
headers:
|
|
- gmp.h
|
|
pkg-configs:
|
|
- gmp
|
|
static-libs@unix:
|
|
- libgmp.a
|