2009-09-20 13:24:46 +02:00
|
|
|
|
# Ce Makefile est là purement par commodité : la vraie fonctionnalité
|
|
|
|
|
|
# est dans les scripts TML et les hooks du dépôt git ; rien dans la
|
|
|
|
|
|
# procédure de mise à jour du site web ne devrait exiger de passer par
|
|
|
|
|
|
# make.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
.PHONY: rebuild install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
gitdir = /users/staffs/tuteurs/www.git
|
|
|
|
|
|
originurl = $(shell git config --get remote.origin.url)
|
|
|
|
|
|
|
|
|
|
|
|
|
2008-03-19 15:56:02 +01:00
|
|
|
|
rebuild:
|
|
|
|
|
|
/users/staffs/tuteurs/share/tml/bin/rebuild .
|
|
|
|
|
|
|
2009-09-20 13:24:46 +02:00
|
|
|
|
|
|
|
|
|
|
# C'est un hook déclenché par git push qui fait l'installation du site
|
|
|
|
|
|
# web. Ici, on essaie juste de voir si on est en local sur clipper
|
|
|
|
|
|
# (auquel cas on n'a peut-être pas le droit d'écrire chez tuteurs, mais
|
2009-10-04 18:36:00 +02:00
|
|
|
|
# sg-tuteurs nous le donnera). Sinon c'est probablement qu'on a cloné
|
2009-09-20 13:24:46 +02:00
|
|
|
|
# par ssh (de chez soi ou de clipper), et on devrait savoir pousser.
|
|
|
|
|
|
|
2002-11-04 02:13:42 +01:00
|
|
|
|
install:
|
2009-09-20 13:24:46 +02:00
|
|
|
|
case ${originurl} in \
|
|
|
|
|
|
${gitdir} ) /users/staffs/tuteurs/bin/sg-tuteurs git push ;; \
|
|
|
|
|
|
* ) git push ;; \
|
|
|
|
|
|
esac
|
2002-12-08 05:31:40 +01:00
|
|
|
|
|
