diff src/glpk.mk @ 3708:d95b8b84cea7

enable additional $(PKG)_UPDATE targets.
author John W. Eaton <jwe@octave.org>
date Wed, 03 Sep 2014 19:00:40 -0400
parents 3858aa1d5ef8
children a4c8ef9f5c78
line wrap: on
line diff
--- a/src/glpk.mk	Wed Sep 03 12:20:08 2014 -0400
+++ b/src/glpk.mk	Wed Sep 03 19:00:40 2014 -0400
@@ -11,8 +11,9 @@
 $(PKG)_DEPS     :=
 
 define $(PKG)_UPDATE
-    echo 'Warning: Updates are temporarily disabled for package glpk.' >&2;
-    echo $(glpk_VERSION)
+    $(WGET) -q -O- 'http://ftp.gnu.org/gnu/glpk/?C=M;O=D' | \
+    $(SED) -n 's,.*<a href="glpk-\([0-9][^"]*\)\.tar.*,\1,p' | \
+    head -1
 endef
 
 define $(PKG)_BUILD