changeset 5139:1d78513f2bd1

* src/eigen.mk: implment update check rule
author John Donoghue
date Fri, 09 Aug 2019 11:03:59 -0400
parents 8c948264cf9b
children d461d2670df7
files src/eigen.mk
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/eigen.mk	Fri Aug 09 09:41:22 2019 -0400
+++ b/src/eigen.mk	Fri Aug 09 11:03:59 2019 -0400
@@ -11,8 +11,10 @@
 $(PKG)_DEPS     :=
 
 define $(PKG)_UPDATE
-    echo 'Warning: Updates are temporarily disabled for package $(PKG).' >&2;
-    echo $($(PKG)_VERSION)
+    $(WGET) -q -O- 'https://bitbucket.org/$(PKG)/$(PKG)/downloads/?tab=tags' | \
+    $(SED) -n 's|.*href=\"/eigen/eigen/get/\([0-9].*\)\.tar\.gz\".*|\1|p' | \
+    $(GREP) -v "tip" | $(SORT) -V | \
+    tail -1
 endef
 
 define $(PKG)_BUILD