wok diff yelp-tools/receipt @ rev 25020
updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | ef8598e320f4 |
children |
line diff
1.1 --- a/yelp-tools/receipt Thu Nov 14 17:10:01 2019 +0100 1.2 +++ b/yelp-tools/receipt Wed May 18 08:05:48 2022 +0100 1.3 @@ -14,6 +14,12 @@ 1.4 DEPENDS="" 1.5 BUILD_DEPENDS="bash yelp-xsl" 1.6 1.7 +current_version() 1.8 +{ 1.9 + wget -O - $(dirname $WGET_URL) 2>/dev/null | \ 1.10 + sed "/$PACKAGE-[0-9]/!d;/tar/!d;s|.*$PACKAGE-\\(.*\\).tar.*\".*|\\1|" | sort -Vr | sed q 1.11 +} 1.12 + 1.13 # Rules to configure and make the package. 1.14 compile_rules() 1.15 {