X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=6a8a175e4515514cf238fb235d0bfa86a4cc6fe3;hb=46403a235e8c4a73b66c1a0fa2f5878c336f5742;hp=d63ab9b9d73828d67c621e980315050080049aeb;hpb=d47dc66aaefe08eb4a8e65888dd499d85a6beb55;p=platal.git diff --git a/Makefile b/Makefile index d63ab9b..6a8a175 100644 --- a/Makefile +++ b/Makefile @@ -25,7 +25,7 @@ endef all: build -build: core conf static banana wiki openid medals jquery +build: core conf static banana wiki openid medals jquery maps check: @!(find . -name '*.php' -exec php -l {} ";" | grep -v 'No syntax errors detected') @@ -139,25 +139,8 @@ get-wiki: ## openid ## -openid: get-openid spool/openid/store - -# There is no obvious way to automatically use the latest version -OPENID_VERSION = 2.2.2 -OPENID_COMMIT = 782224d -get-openid: - @if ! test -d include/Auth; then \ - wget --no-check-certificate \ - https://github.com/openid/php-openid/tarball/$(OPENID_VERSION) \ - -O php-openid-$(OPENID_VERSION).tar.gz; \ - tar -xzf php-openid-$(OPENID_VERSION).tar.gz; \ - mv openid-php-openid-$(OPENID_COMMIT)/Auth include/; \ - rm php-openid-$(OPENID_VERSION).tar.gz; \ - rm -r openid-php-openid-$(OPENID_COMMIT); \ - fi - -spool/openid/store: - mkdir -p $@ - chmod o+w $@ +openid: + -rm -rf include/Auth ## ## banana @@ -191,7 +174,7 @@ JQUERY_PLUGINS=color form JQUERY_PLUGINS_PATHES=$(addprefix htdocs/javascript/jquery.,$(addsuffix .js,$(JQUERY_PLUGINS))) JQUERY_UI_VERSION=1.8.10 -JQUERY_UI=core widget tabs datepicker +JQUERY_UI=core widget tabs datepicker autocomplete position JQUERY_UI_PATHES=$(addprefix htdocs/javascript/jquery.ui.,$(addsuffix .js,$(JQUERY_UI))) JQUERY_TMPL_VERSION=vBeta1.0.0 @@ -200,12 +183,9 @@ JQUERY_TMPL_PATH=htdocs/javascript/jquery.tmpl.js JSTREE_VERSION=1.0rc2 JSTREE_PATH=htdocs/javascript/jquery.jstree.js -# TODO: jquery.autocomplete.js should rather be downloaded from an official source. The issue -# is that the version we use is not available anymore on the Internet, and the latest version -# we could use is not backward compatible with our current code. jquery: htdocs/javascript/jquery.xorg.js htdocs/javascript/jquery.ui.xorg.js $(JSTREE_PATH) -htdocs/javascript/jquery.xorg.js: htdocs/javascript/jquery.js $(JQUERY_PLUGINS_PATHES) $(JQUERY_TMPL_PATH) htdocs/javascript/jquery.autocomplete.js +htdocs/javascript/jquery.xorg.js: htdocs/javascript/jquery.js $(JQUERY_PLUGINS_PATHES) $(JQUERY_TMPL_PATH) cat $^ > $@ htdocs/javascript/jquery.ui.xorg.js: $(JQUERY_UI_PATHES) htdocs/javascript/jquery.ui.datepicker-fr.js @@ -257,6 +237,14 @@ $(JSTREE_PATH): ln -snf jquery.jstree-$(JSTREE_VERSION).js htdocs/javascript/jquery.jstree.js rm -Rf spool/tmp/jstree +## +## Maps auxiliary scripts +## +maps: htdocs/javascript/markerclusterer.js + +## Try and use taged version asap (from http://google-maps-utility-library-v3.googlecode.com/svn/tags/markerclusterer/…). +htdocs/javascript/markerclusterer.js: + wget "http://google-maps-utility-library-v3.googlecode.com/svn/trunk/markerclusterer/src/markerclusterer_compiled.js?r=308" -O htdocs/javascript/markerclusterer.js ## ## lists rpc