diff Makefile.in @ 6527:2bfdd75d6b42

lapack: update to v3.11 * Makefile.in: filter gitpub -pre versions * src/lapack.mk: update version, checksum, use github update
author John Donoghue <john.donoghue@ieee.org>
date Wed, 16 Nov 2022 08:43:50 -0500
parents 4b8764444acb
children 96ea694f0d48
line wrap: on
line diff
--- a/Makefile.in	Wed Nov 16 08:43:49 2022 -0500
+++ b/Makefile.in	Wed Nov 16 08:43:50 2022 -0500
@@ -1022,7 +1022,7 @@
 define GITHUB_PKG_UPDATE
   $(WGET) -q -O- "https://github.com/$(1)/$(2)/tags" | \
   $(SED) -n 's|.*releases/tag/$(3)\([0-9][^"]*\).*|\1|p' | \
-  $(GREP) -i -v RC | $(GREP) -i -v BETA | \
+  $(GREP) -i -v RC | $(GREP) -i -v BETA | $(GREP) -i -v PRE | \
   $(SORT) -V | \
   tail -1
 endef