2013-09-28 21:11:46 +00:00
|
|
|
COPY?=cp -v
|
2013-12-12 09:19:01 +00:00
|
|
|
CURL?=curl
|
2013-10-01 03:30:41 +00:00
|
|
|
DEST?=/usr/local/share/perl/`ls -1 /usr/local/share/perl/ | grep "^5." | tail -1`/
|
2013-09-28 21:11:46 +00:00
|
|
|
GIT?=/usr/bin/git
|
|
|
|
|
GITOLITE_DEST?=/usr/share/gitolite/hooks/common
|
|
|
|
|
MAKEDIR?=mkdir
|
2013-12-12 09:19:01 +00:00
|
|
|
PERL?=/usr/bin/env perl
|
2013-09-28 21:11:46 +00:00
|
|
|
PROVER?=prove -f
|
|
|
|
|
RM?=rm
|
2013-12-12 09:19:01 +00:00
|
|
|
RMTREE?=rm -r
|
2013-09-28 21:11:46 +00:00
|
|
|
TESTDIR?=t
|
|
|
|
|
SHELL?=/bin/sh
|
2013-09-14 07:37:22 +00:00
|
|
|
|
|
|
|
|
launch:
|
2013-09-15 10:52:20 +00:00
|
|
|
$(SHELL) ./process/launch.sh
|
2013-09-09 11:51:53 +00:00
|
|
|
|
|
|
|
|
install:
|
2013-09-14 08:52:59 +00:00
|
|
|
$(SHELL) commands/first-install.sh
|
2013-09-09 11:51:53 +00:00
|
|
|
$(MAKEDIR) -p $(DEST)
|
|
|
|
|
$(COPY) -r ACU/ $(DEST)
|
2013-09-28 09:14:45 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(MAKEDIR) -p $(GITOLITE_DEST)/update.secondary.d
|
2013-10-07 14:42:02 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/gl-pre-git $(GITOLITE_DEST)/
|
2013-11-26 18:17:19 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/post-update $(GITOLITE_DEST)/
|
2013-10-07 14:42:02 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/subjects.pl $(GITOLITE_DEST)/update.secondary.d/
|
2013-10-23 04:57:13 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/conferences.pl $(GITOLITE_DEST)/update.secondary.d/
|
2013-10-07 14:42:02 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/submissions.pl $(GITOLITE_DEST)/update.secondary.d/
|
2013-09-09 11:51:53 +00:00
|
|
|
|
2013-12-01 05:12:27 +00:00
|
|
|
guantanamo.tar.gz:
|
|
|
|
|
$(MAKEDIR) -p guantanamo/ACU
|
|
|
|
|
$(COPY) process/exec/guantanamo_node.pl guantanamo/
|
|
|
|
|
$(COPY) ACU/Log.pm ACU/Process.pm process/exec/guantanamo_node.pl guantanamo/ACU/
|
|
|
|
|
$(COPY) process/exec/run.sh.not-here guantanamo/run.sh
|
|
|
|
|
chmod +x guantanamo/run.sh
|
|
|
|
|
tar czf guantanamo.tar.gz guantanamo/
|
2013-12-12 09:19:01 +00:00
|
|
|
$(RMTREE) guantanamo
|
2013-12-01 05:12:27 +00:00
|
|
|
|
2013-09-14 09:16:00 +00:00
|
|
|
update:
|
2013-09-14 08:56:31 +00:00
|
|
|
$(GIT) pull
|
2013-09-14 09:16:00 +00:00
|
|
|
$(SHELL) commands/first-install.sh
|
|
|
|
|
|
|
|
|
|
upgrade: install
|
2013-09-14 08:52:59 +00:00
|
|
|
|
2013-09-09 11:51:53 +00:00
|
|
|
unstall:
|
|
|
|
|
$(RM) -r $(DEST)/ACU/
|
2013-10-07 14:42:02 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(RM) -rf $(GITOLITE_DEST)/gl-pre-git
|
2013-09-28 09:14:45 +00:00
|
|
|
! test -d $(GITOLITE_DEST) || $(RM) -rf $(GITOLITE_DEST)/update.secondary.d
|
|
|
|
|
! test -d $(GITOLITE_DEST) || $(MAKEDIR) -p $(GITOLITE_DEST)/update.secondary.d
|
2013-09-09 11:51:53 +00:00
|
|
|
|
2013-12-12 09:19:01 +00:00
|
|
|
regen-objects:
|
|
|
|
|
$(MAKEDIR) -p ACU/dtd
|
|
|
|
|
$(CURL) -o ACU/dtd/defense.dtd http://acu.epita.fr/dtd/defense.dtd
|
|
|
|
|
$(CURL) -o ACU/dtd/grading.dtd http://acu.epita.fr/dtd/grading.dtd
|
|
|
|
|
$(CURL) -o ACU/dtd/groups.dtd http://acu.epita.fr/dtd/groups.dtd
|
|
|
|
|
$(CURL) -o ACU/dtd/project.dtd http://acu.epita.fr/dtd/project.dtd
|
|
|
|
|
$(CURL) -o ACU/dtd/traces.dtd http://acu.epita.fr/dtd/traces.dtd
|
|
|
|
|
$(PERL) -I baldr baldr/Baldr.pl --import="ACU/Objects/basecode/*.pm" --path=ACU/Objects ACU/dtd/defense.dtd ACU/dtd/grading.dtd ACU/dtd/groups.dtd ACU/dtd/project.dtd ACU/dtd/traces.dtd
|
|
|
|
|
$(RMTREE) ACU/dtd
|
|
|
|
|
|
2013-09-09 11:51:53 +00:00
|
|
|
test:
|
|
|
|
|
$(PROVER) $(TESTDIR)
|
|
|
|
|
|
|
|
|
|
testv:
|
|
|
|
|
$(PROVER) -v $(TESTDIR)
|
