author | haftmann |
Tue, 28 Mar 2006 10:13:51 +0200 | |
changeset 19331 | f5e84acd7d3f |
parent 18214 | 857444b28267 |
child 19361 | aa226c08d14a |
permissions | -rw-r--r-- |
16233 | 1 |
# isaweb makefile - project-specific dependencies |
2 |
# $Id$ |
|
3 |
||
17942
68988fd2fd27
towards an improved website/makedist integration
haftmann
parents:
17941
diff
changeset
|
4 |
include conf/distinfo.mak |
17941
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 |
|
19331 | 10 |
STATICDIRS=css img media misc |
11 |
STATICFILES=include/documentationdist.include.html |
|
12 |
OUTPUTDIST=$(OUTPUTROOT)/dist-$(DISTNAME) |
|
13 |
||
14 |
project: $(OUTPUTDIST) site |
|
16329 | 15 |
.PHONY: project |
16 |
||
17671 | 17 |
cleanproject: |
19331 | 18 |
rm -rf $(OUTPUTDIST) |
17671 | 19 |
.PHONY: cleanproject |
16274 | 20 |
|
17910 | 21 |
ifeq ($(RSYNC),) |
22 |
||
19331 | 23 |
$(OUTPUTDIST): $(ISABELLE_DIST) |
17910 | 24 |
mkdir -p $@ |
17941
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
25 |
$(COPY) -vRud $</[^w]* $@ |
17949
0150d6d7728b
substantially improved integration of website into distribution framework
haftmann
parents:
17948
diff
changeset
|
26 |
-chgrp -hR $(TARGET_GROUP) $@ |
18214 | 27 |
-chmod -R u+w,g-w,o-w $@ |
28 |
-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
|
17947
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
29 |
-chgrp -h $(TARGET_GROUP) $@/Isabelle |
18214 | 30 |
-chmod u+w,g-w,o-w $@/Isabelle |
19331 | 31 |
ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist |
16242 | 32 |
|
17910 | 33 |
else |
34 |
||
19331 | 35 |
$(OUTPUTDIST): $(ISABELLE_DIST) SYNC_ALWAYS |
17910 | 36 |
mkdir -p $@ |
18214 | 37 |
$(RSYNC) -v --exclude='/website/' -rlt --delete --delete-after $</ $@ |
17949
0150d6d7728b
substantially improved integration of website into distribution framework
haftmann
parents:
17948
diff
changeset
|
38 |
-chgrp -hR $(TARGET_GROUP) $@ |
18214 | 39 |
-chmod -R u+w,g-w,o-w $@ |
40 |
-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
|
17947
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
41 |
-chgrp -h $(TARGET_GROUP) $@/Isabelle |
18214 | 42 |
-chmod u+w,g-w,o-w $@/Isabelle |
19331 | 43 |
ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist |
17910 | 44 |
|
45 |
SYNC_ALWAYS: |
|
46 |
||
47 |
endif |
|
48 |
||
16233 | 49 |
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
17671 | 50 |
perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@ |
16300 | 51 |
|
17743 | 52 |
perms: |
53 |
build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP) |
|
54 |
.PHONY: perms |