X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=aecab8c7bb0d100d99a8b60b707e7b66f58c553d;hb=eccb9b829f572bc352257f6a41a4c2b4472fa30a;hp=232aa1f80d95519738d8ab420965ce9fb8edc03d;hpb=64087a3430249f84d999be01219697c925c5c7f7;p=platal.git diff --git a/Makefile b/Makefile index 232aa1f..aecab8c 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,13 @@ endef all: build -build: core conf banana wiki openid medals jquery +build: core conf static banana wiki openid medals jquery + +check: + @!(find . -name '*.php' -exec php -l {} ";" | grep -v 'No syntax errors detected') + +test: + make -C core test q: @echo -e "Code statistics\n" @@ -62,6 +68,14 @@ htdocs/.htaccess: htdocs/.htaccess.in Makefile sed -e "s,@REWRITE_BASE@,$$REWRITE_BASE,g" $< > $@ ## +## static content +## +static: htdocs/javascript@VERSION + +%@VERSION: % Makefile ChangeLog + cd $< && rm -f $(VERSION) && ln -sf . $(VERSION) + +## ## wiki ## @@ -115,20 +129,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 ## @@ -157,24 +171,40 @@ $(MEDAL_THUMBNAILS): $(subst /medals/thumb/,/medals/,$(@F)) ## ## jquery ## - +JQUERY_VERSION=1.4.2 JQUERY_PLUGINS=color JQUERY_PLUGINS_PATHES=$(addprefix htdocs/javascript/jquery.,$(addsuffix .js,$(JQUERY_PLUGINS))) +JQUERY_UI_VERSION=1.6 +JQUERY_UI=core tabs +JQUERY_UI_PATHES=$(addprefix htdocs/javascript/jquery.ui.,$(addsuffix .js,$(JQUERY_UI))) + # 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.js $(JQUERY_PLUGINS_PATHES) +jquery: htdocs/javascript/jquery.js $(JQUERY_PLUGINS_PATHES) $(JQUERY_UI_PATHES) -htdocs/javascript/jquery.js: DOWNLOAD_SRC = http://jquery.com/src/jquery-latest.min.js -htdocs/javascript/jquery.js: +htdocs/javascript/jquery-$(JQUERY_VERSION).min.js: DOWNLOAD_SRC = http://jquery.com/src/$(@F) +htdocs/javascript/jquery-$(JQUERY_VERSION).min.js: + @-rm htdocs/javascript/jquery-*.min.js @$(download) +htdocs/javascript/jquery.js: htdocs/javascript/jquery-$(JQUERY_VERSION).min.js + ln -snf $(