You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
pkgversion="$(cat ncurses-idris.ipkg | sed -n 's/version = \(.*\)/\1/p')"
nixversion="$(cat flake.nix | sed -n 's/^.*version = "\(.*\)";/\1/p')"
pkgsupversion="$(cat ncurses-idris.ipkg | sed -n "s/postinstall = .*VERSION=.\([^ ]*\). .*$/\1/p")"
supversion="$(cat support/Makefile | sed -n 's/TARGET_VERSION .= \(.*\)/\1/p')"
if [ "$pkgversion" == "$nixversion" ] && [ "$pkgversion" == "$pkgsupversion" ] && [ "$pkgversion" == "$supversion" ]; then
exit 0
else
echo "Idris package manifest version (${pkgversion}), Nix flake version (${nixversion}), manifest support version (${pkgsupversion}) and support Makefile version (${supversion}) do not agree!"