X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=Makefile;h=958a9b1e6471e90afe2e740806abd11ee28221c5;hb=6a4f0f01c24378ab955d780ce7ea16ad34580d71;hp=f2ca45e7af71706d4ac640b9eea941471155fc9c;hpb=63f06a435ff8e9c058b1dee1eb97fff99606d490;p=platal.git

diff --git a/Makefile b/Makefile
index f2ca45e..958a9b1 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,10 @@ endef
 
 all: build
 
-build: core banana wiki medals jquery
+build: core conf banana wiki openid medals jquery
+
+check:
+	@find . -name '*.php' -exec php -l {} ";" | grep -v 'No syntax errors detected'
 
 q:
 	@echo -e "Code statistics\n"
@@ -42,7 +45,15 @@ q:
 ## core
 ##
 
-core: spool/templates_c spool/mails_c classes/platalglobals.php configs/platal.cron htdocs/.htaccess spool/conf spool/tmp
+core:
+	[ -d core ] || ( git submodule init && git submodule update )
+	make -C core all
+
+##
+## conf
+##
+
+conf: spool/templates_c spool/mails_c classes/platalglobals.php configs/platal.cron htdocs/.htaccess spool/conf spool/tmp 
 
 spool/templates_c spool/mails_c spool/uploads spool/conf spool/tmp:
 	mkdir -p $@
@@ -95,12 +106,33 @@ wiki/pub/skins/empty:
 get-wiki:
 	@if ! test -d wiki; then                                          \
 	    wget http://www.pmwiki.org/pub/pmwiki/pmwiki-latest.tgz;      \
-	    tar -xzvf pmwiki-latest.tgz;				  \
-	    rm pmwiki-latest.tgz;					  \
-	    mv pmwiki-* wiki;						  \
+	    tar -xzvf pmwiki-latest.tgz;                                  \
+	    rm pmwiki-latest.tgz;                                         \
+	    mv pmwiki-* wiki;                                             \
 	fi
 
 ##
+## openid
+##
+
+openid: get-openid spool/openid/store
+
+# There is no obvious way to automatically use the latest version
+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;                                       \
+	fi
+
+spool/openid/store:
+	mkdir -p $@
+	chmod o+w $@
+
+
+##
 ## banana
 ##
 
@@ -148,5 +180,5 @@ $(JQUERY_PLUGINS_PATHES):
 
 ################################################################################
 
-.PHONY: build dist clean wiki build-wiki banana htdocs/images/banana htdocs/css/banana.css include/banana/banana.inc.php http*
+.PHONY: build dist clean core wiki build-wiki banana htdocs/images/banana htdocs/css/banana.css include/banana/banana.inc.php http* check