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