author | haftmann |
Fri, 21 Oct 2005 10:27:02 +0200 | |
changeset 17947 | d878a7735ff6 |
parent 17946 | c5eeab6339bf |
child 17948 | 58ddfa89e6c0 |
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 |
|
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]* $@ |
17946
c5eeab6339bf
substantially improved integration of website into distribution framework
haftmann
parents:
17945
diff
changeset
|
22 |
chgrp -hR $(TARGET_GROUP) $@ |
17944
f5ff234ce6b3
towards an improved website/makedist integration
haftmann
parents:
17942
diff
changeset
|
23 |
chmod -R u-w,g-w,o-w $@ |
17947
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
24 |
-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
25 |
-chgrp -h $(TARGET_GROUP) $@/Isabelle |
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
26 |
-chmod u-w,g-w,o-w $@/Isabelle |
16242 | 27 |
|
17910 | 28 |
else |
29 |
||
30 |
$(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS |
|
31 |
mkdir -p $@ |
|
17941
1a0536074edf
towards an improved website/makedist integration
haftmann
parents:
17910
diff
changeset
|
32 |
$(RSYNC) -v --exclude='/website/' -a --delete --delete-after $</ $@ |
17946
c5eeab6339bf
substantially improved integration of website into distribution framework
haftmann
parents:
17945
diff
changeset
|
33 |
chgrp -hR $(TARGET_GROUP) $@ |
17944
f5ff234ce6b3
towards an improved website/makedist integration
haftmann
parents:
17942
diff
changeset
|
34 |
chmod -R u-w,g-w,o-w $@ |
17947
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
35 |
-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
36 |
-chgrp -h $(TARGET_GROUP) $@/Isabelle |
d878a7735ff6
substantially improved integration of website into distribution framework
haftmann
parents:
17946
diff
changeset
|
37 |
-chmod u-w,g-w,o-w $@/Isabelle |
17910 | 38 |
|
39 |
SYNC_ALWAYS: |
|
40 |
||
41 |
endif |
|
42 |
||
16233 | 43 |
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
17671 | 44 |
perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@ |
16300 | 45 |
|
17743 | 46 |
perms: |
47 |
build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP) |
|
48 |
.PHONY: perms |