5 conf/distinfo.mak: |
5 conf/distinfo.mak: |
6 @echo 'There is no $@ file; it should have been allocated by makedist.'; \ |
6 @echo 'There is no $@ file; it should have been allocated by makedist.'; \ |
7 @echo 'If you have no makedist at hand, check out default $@ from CVS'; \ |
7 @echo 'If you have no makedist at hand, check out default $@ from CVS'; \ |
8 @false; \ |
8 @false; \ |
9 |
9 |
10 project: $(OUTPUTROOT)/dist site |
10 STATICDIRS=css img media misc |
|
11 STATICFILES=include/documentationdist.include.html |
|
12 OUTPUTDIST=$(OUTPUTROOT)/dist-$(DISTNAME) |
|
13 |
|
14 project: $(OUTPUTDIST) site |
11 .PHONY: project |
15 .PHONY: project |
12 |
16 |
13 cleanproject: |
17 cleanproject: |
14 rm -rf $(OUTPUTROOT)/dist |
18 rm -rf $(OUTPUTDIST) |
15 .PHONY: cleanproject |
19 .PHONY: cleanproject |
16 |
20 |
17 ifeq ($(RSYNC),) |
21 ifeq ($(RSYNC),) |
18 |
22 |
19 $(OUTPUTROOT)/dist: $(ISABELLE_DIST) |
23 $(OUTPUTDIST): $(ISABELLE_DIST) |
20 mkdir -p $@ |
24 mkdir -p $@ |
21 $(COPY) -vRud $</[^w]* $@ |
25 $(COPY) -vRud $</[^w]* $@ |
22 -chgrp -hR $(TARGET_GROUP) $@ |
26 -chgrp -hR $(TARGET_GROUP) $@ |
23 -chmod -R u+w,g-w,o-w $@ |
27 -chmod -R u+w,g-w,o-w $@ |
24 -[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
28 -[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
25 -chgrp -h $(TARGET_GROUP) $@/Isabelle |
29 -chgrp -h $(TARGET_GROUP) $@/Isabelle |
26 -chmod u+w,g-w,o-w $@/Isabelle |
30 -chmod u+w,g-w,o-w $@/Isabelle |
|
31 ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist |
27 |
32 |
28 else |
33 else |
29 |
34 |
30 $(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS |
35 $(OUTPUTDIST): $(ISABELLE_DIST) SYNC_ALWAYS |
31 mkdir -p $@ |
36 mkdir -p $@ |
32 $(RSYNC) -v --exclude='/website/' -rlt --delete --delete-after $</ $@ |
37 $(RSYNC) -v --exclude='/website/' -rlt --delete --delete-after $</ $@ |
33 -chgrp -hR $(TARGET_GROUP) $@ |
38 -chgrp -hR $(TARGET_GROUP) $@ |
34 -chmod -R u+w,g-w,o-w $@ |
39 -chmod -R u+w,g-w,o-w $@ |
35 -[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
40 -[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle |
36 -chgrp -h $(TARGET_GROUP) $@/Isabelle |
41 -chgrp -h $(TARGET_GROUP) $@/Isabelle |
37 -chmod u+w,g-w,o-w $@/Isabelle |
42 -chmod u+w,g-w,o-w $@/Isabelle |
|
43 ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist |
38 |
44 |
39 SYNC_ALWAYS: |
45 SYNC_ALWAYS: |
40 |
46 |
41 endif |
47 endif |
42 |
48 |