wok diff watchdog/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 | c1e7c7ea9c19 |
children | ca38ecbe9976 |
line diff
1.1 --- a/watchdog/receipt Fri May 01 07:05:43 2020 +0100 1.2 +++ b/watchdog/receipt Wed May 18 08:05:48 2022 +0100 1.3 @@ -11,6 +11,12 @@ 1.4 TARBALL="$PACKAGE-$VERSION.tar.gz" 1.5 WGET_URL="$SF_MIRROR/$PACKAGE/$TARBALL" 1.6 1.7 +current_version() 1.8 +{ 1.9 + wget -O - https://sourceforge.net/projects/$PACKAGE/files/ 2>/dev/null | \ 1.10 + sed "/$PACKAGE-/!d;/tar/!d;s|.*$PACKAGE-\\(.*\\).tar.*|\\1|;q" 1.11 +} 1.12 + 1.13 # Rules to configure and make the package. 1.14 compile_rules() 1.15 {