@@ -7,6 +7,7 @@ case "$mpiname" in
77 openmpi) version=5.0.7 ;;
88esac
99version=${VERSION:- $version }
10+ release=${RELEASE:- }
1011
1112ucxversion=1.18.0
1213ofiversion=1.22.0
@@ -73,11 +74,13 @@ if test ! -d "$SOURCE"; then
7374 echo writing package metadata ...
7475 echo " Name: $mpiname " > " $PACKAGE /METADATA"
7576 echo " Version: $version " >> " $PACKAGE /METADATA"
77+ echo " Release: $release " >> " $PACKAGE /METADATA"
7678else
7779 echo reusing directory " $SOURCE " ...
7880 check () { test " $( awk " /$1 /" ' {print $2}' " $PACKAGE /METADATA" ) " = " $2 " ; }
79- check Name " $mpiname " || (echo not " $mpiname -$version " !!! && exit 1)
80- check Version " $version " || (echo not " $mpiname -$version " !!! && exit 1)
81+ check Name " $mpiname " || (echo " error: mpiname!=$mpiname " && exit 1)
82+ check Version " $version " || (echo " error: version!=$version " && exit 1)
83+ check Release " $release " || (echo " error: release!=$release " && exit 1)
8184fi
8285
8386if test " $( uname) " = " Linux" ; then
@@ -188,3 +191,9 @@ for license in "${otherlicenses[@]}"; do
188191 echo copying " $module " license file...
189192 cp " $license " " $PACKAGE /LICENSE.$module "
190193done
194+
195+ if test -n " ${GITHUB_OUTPUT+x} " ; then
196+ echo " mpiname=${mpiname} " >> $GITHUB_OUTPUT
197+ echo " version=${version} " >> $GITHUB_OUTPUT
198+ echo " release=${release} " >> $GITHUB_OUTPUT
199+ fi
0 commit comments