X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=446aedd0a76c5847452d6a9233d8c4f4fb4b4e35;hb=d1e6167749fdad08c81e23d09e1bbbf76e3b989b;hp=a6c19351bc91df30dd6a04fb8c33f9b52984461c;hpb=2f8bacc215bab9d9e3401e73004574cfb0eb4540;p=platal.git

diff --git a/Makefile b/Makefile
index a6c1935..446aedd 100644
--- a/Makefile
+++ b/Makefile
@@ -118,20 +118,20 @@ get-wiki:
 openid: get-openid spool/openid/store
 
 # There is no obvious way to automatically use the latest version
+OPENID_VERSION = 2.1.3
 get-openid:
 	@if ! test -d include/Auth; then                                  \
-	    wget http://openidenabled.com/files/php-openid/packages/php-openid-2.1.2.tar.bz2; \
-	    tar -xjf php-openid-2.1.2.tar.bz2;                            \
-	    mv php-openid-2.1.2/Auth include/;                            \
-	    rm php-openid-2.1.2.tar.bz2;                                  \
-	    rm -r php-openid-2.1.2;                                       \
+	    wget http://openidenabled.com/files/php-openid/packages/php-openid-$(OPENID_VERSION).tar.bz2; \
+	    tar -xjf php-openid-$(OPENID_VERSION).tar.bz2;                \
+	    mv php-openid-$(OPENID_VERSION)/Auth include/;                \
+	    rm php-openid-$(OPENID_VERSION).tar.bz2;                      \
+	    rm -r php-openid-$(OPENID_VERSION);                           \
 	fi
 
 spool/openid/store:
 	mkdir -p $@
 	chmod o+w $@
 
-
 ##
 ## banana
 ##