author | haftmann |
Fri, 21 Oct 2005 09:05:52 +0200 | |
changeset 17941 | 1a0536074edf |
parent 17910 | 2b435795c9e9 |
child 17942 | 68988fd2fd27 |
permissions | -rw-r--r-- |
16233 | 1 |
# isaweb makefile - project-specific dependencies |
2 |
# $Id$ |
|
3 |
||
17941
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
4 |
include conf/distname.mak |
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
5 |
conf/distinfo.mak: |
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
6 |
@echo 'There is no $@ file; it should have been allocated by makedist.'; \ |
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
7 |
@echo 'If you have no makedist at hand, check out default $@ from CVS'; \ |
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
8 |
@false; \ |
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
9 |
|
17671 | 10 |
project: $(OUTPUTROOT)/dist site |
16329 | 11 |
.PHONY: project |
12 |
||
17671 | 13 |
cleanproject: |
14 |
rm -rf $(OUTPUTROOT)/dist |
|
15 |
.PHONY: cleanproject |
|
16274 | 16 |
|
17910 | 17 |
ifeq ($(RSYNC),) |
18 |
||
17671 | 19 |
$(OUTPUTROOT)/dist: $(ISABELLE_DIST) |
17910 | 20 |
mkdir -p $@ |
17941
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
21 |
$(COPY) -vRud $</[^w]* $@ |
17671 | 22 |
chmod -R g-w $@ |
16242 | 23 |
|
17910 | 24 |
else |
25 |
||
26 |
$(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS |
|
27 |
mkdir -p $@ |
|
17941
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
28 |
$(RSYNC) -v --exclude='/website/' -a --delete --delete-after $</ $@ |
17910 | 29 |
chmod -R g-w $@ |
30 |
||
31 |
SYNC_ALWAYS: |
|
32 |
||
33 |
endif |
|
34 |
||
16233 | 35 |
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
17671 | 36 |
perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@ |
16300 | 37 |
|
17743 | 38 |
perms: |
39 |
build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP) |
|
40 |
.PHONY: perms |