X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=aecab8c7bb0d100d99a8b60b707e7b66f58c553d;hb=4d1f0f6bd236c719cf3bc2119767424dbf86616f;hp=3233b9fd24d1c250b93b83a1b86f21c50a87e2b3;hpb=ee71865181e96e7b0754ef9e7da4b3cb26f4c1d7;p=platal.git diff --git a/Makefile b/Makefile index 3233b9f..aecab8c 100644 --- a/Makefile +++ b/Makefile @@ -28,6 +28,12 @@ all: build 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" @sloccount $(filter-out wiki/ spool/, $(wildcard */)) 2> /dev/null | egrep '^[a-z]*:' @@ -165,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 $(