64 lines
2.2 KiB
Makefile
64 lines
2.2 KiB
Makefile
COPY?=cp -v
|
|
CURL?=curl
|
|
DEST?=/usr/local/share/perl/`ls -1 /usr/local/share/perl/ | grep "^5." | tail -1`/
|
|
GIT?=/usr/bin/git
|
|
GITOLITE_DEST?=/usr/share/gitolite/hooks/common
|
|
MAKEDIR?=mkdir
|
|
PERL?=/usr/bin/env perl
|
|
PROVER?=prove -f
|
|
RM?=rm
|
|
RMTREE?=rm -r
|
|
TESTDIR?=t
|
|
SHELL?=/bin/sh
|
|
|
|
launch:
|
|
$(SHELL) ./process/launch.sh
|
|
|
|
install:
|
|
$(SHELL) commands/first-install.sh
|
|
$(MAKEDIR) -p $(DEST)
|
|
$(COPY) -r ACU/ $(DEST)
|
|
! test -d $(GITOLITE_DEST) || $(MAKEDIR) -p $(GITOLITE_DEST)/update.secondary.d
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/gl-pre-git $(GITOLITE_DEST)/
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/post-update $(GITOLITE_DEST)/
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/subjects.pl $(GITOLITE_DEST)/update.secondary.d/
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/conferences.pl $(GITOLITE_DEST)/update.secondary.d/
|
|
! test -d $(GITOLITE_DEST) || $(COPY) hooks/submissions.pl $(GITOLITE_DEST)/update.secondary.d/
|
|
|
|
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/
|
|
$(RMTREE) guantanamo
|
|
|
|
update:
|
|
$(GIT) pull
|
|
$(SHELL) commands/first-install.sh
|
|
|
|
upgrade: install
|
|
|
|
unstall:
|
|
$(RM) -r $(DEST)/ACU/
|
|
! test -d $(GITOLITE_DEST) || $(RM) -rf $(GITOLITE_DEST)/gl-pre-git
|
|
! test -d $(GITOLITE_DEST) || $(RM) -rf $(GITOLITE_DEST)/update.secondary.d
|
|
! test -d $(GITOLITE_DEST) || $(MAKEDIR) -p $(GITOLITE_DEST)/update.secondary.d
|
|
|
|
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
|
|
|
|
test:
|
|
$(PROVER) $(TESTDIR)
|
|
|
|
testv:
|
|
$(PROVER) -v $(TESTDIR)
|