changeset 6734:cddfc1533468

src/eigen.mk: use gitlab tags for update rule
author John Donoghue <john.donoghue@ieee.org>
date Mon, 05 Jun 2023 08:58:59 -0400
parents 2448b5029e4a
children bff872d69f01
files src/eigen.mk
diffstat 1 files changed, 3 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/eigen.mk	Fri Jun 02 13:22:04 2023 -0400
+++ b/src/eigen.mk	Mon Jun 05 08:58:59 2023 -0400
@@ -11,10 +11,9 @@
 $(PKG)_DEPS     :=
 
 define $(PKG)_UPDATE
-    $(WGET) -q -O- 'https://eigen.tuxfamily.org/index.php?title=Main_Page#Download' | \
-    $(GREP) 'released!' | \
-    $(SED) -n 's,.*>Eigen \([0-9.]*\) released!.*,\1,p' | \
-    head -1
+    $(WGET) -q -O- https://gitlab.com/libeigen/eigen/tags | \
+    $(SED) -n 's|.*/tags/\([0-9][^"]*\).*|\1|p' | grep -v 'rc' | $(SORT) -V | \
+    tail -1
 endef
 
 define $(PKG)_BUILD