wok diff bzflag/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 1d9e2a91579d
children 6b33f9da53d4
line diff
     1.1 --- a/bzflag/receipt	Mon Jan 06 15:51:49 2020 +0100
     1.2 +++ b/bzflag/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -15,6 +15,14 @@
     1.4  BUILD_DEPENDS="c-ares-dev curl-dev gcc83 glew-dev libsdl-dev 
     1.5  	mesa-dev util-linux-uuid-dev"
     1.6  
     1.7 +# What is the latest version available today?
     1.8 +current_version()
     1.9 +{
    1.10 +	wget -O - https://sourceforge.net/projects/bzflag/files/bzflag%20source/ 2>/dev/null | \
    1.11 +	sed '/scope="row/!d;s|.*href="|"https://sourceforge.net|;q' | xargs wget -O - 2>/dev/null | \
    1.12 +	sed '/scope="row/!d;s|.*/bzflag-||;s|.tar.*||;q'
    1.13 +}
    1.14 +
    1.15  # Rules to configure and make the package.
    1.16  compile_rules()
    1.17  {