comparison src/mpfr.mk @ 6541:88394d81a647

* src/mpfr.mk: fix update rule
author John Donoghue <john.donoghue@ieee.org>
date Tue, 22 Nov 2022 07:34:56 -0500
parents 6c9d803d4a83
children 8eeafbe25137
comparison
equal deleted inserted replaced
6540:ff8c281debae 6541:88394d81a647
11 $(PKG)_URL_2 := https://www.mpfr.org/mpfr-$($(PKG)_VERSION)/$($(PKG)_FILE) 11 $(PKG)_URL_2 := https://www.mpfr.org/mpfr-$($(PKG)_VERSION)/$($(PKG)_FILE)
12 $(PKG)_DEPS := build-gcc gmp 12 $(PKG)_DEPS := build-gcc gmp
13 13
14 define $(PKG)_UPDATE 14 define $(PKG)_UPDATE
15 $(WGET) -q -O- 'https://www.mpfr.org/mpfr-current/' | \ 15 $(WGET) -q -O- 'https://www.mpfr.org/mpfr-current/' | \
16 $(SED) -n 's,.*tags/\([0-9][^/]*\).*,\1,p' | 16 $(SED) -n 's,<title>.*version \([0-9][^<]*\).*,\1,p' | \
17 $(SORT) -V | \ 17 $(SORT) -V | \
18 tail -1 18 tail -1
19 endef 19 endef
20 20
21 define $(PKG)_BUILD 21 define $(PKG)_BUILD