Admin/website/build/project.mak
author haftmann
Fri, 21 Oct 2005 10:32:59 +0200
changeset 17949 0150d6d7728b
parent 17948 58ddfa89e6c0
child 18214 857444b28267
permissions -rw-r--r--
substantially improved integration of website into distribution framework
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
# isaweb makefile - project-specific dependencies
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
# $Id$
e634d33deb86 added new website
haftmann
parents:
diff changeset
     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
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    10
project: $(OUTPUTROOT)/dist site
16329
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
    11
.PHONY: project
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
    12
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    13
cleanproject:
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    14
	rm -rf $(OUTPUTROOT)/dist
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    15
.PHONY: cleanproject
16274
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    16
17910
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    17
ifeq ($(RSYNC),)
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    18
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    19
$(OUTPUTROOT)/dist: $(ISABELLE_DIST)
17910
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    20
	mkdir -p $@
17941
1a0536074edf towards an improved website/makedist integration
haftmann
parents: 17910
diff changeset
    21
	$(COPY) -vRud $</[^w]* $@
17949
0150d6d7728b substantially improved integration of website into distribution framework
haftmann
parents: 17948
diff changeset
    22
	-chgrp -hR $(TARGET_GROUP) $@
0150d6d7728b substantially improved integration of website into distribution framework
haftmann
parents: 17948
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
f0d154b21b86 added library symlink
haftmann
parents: 16233
diff changeset
    27
17910
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    28
else
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    29
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    30
$(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    31
	mkdir -p $@
17948
58ddfa89e6c0 substantially improved integration of website into distribution framework
haftmann
parents: 17947
diff changeset
    32
	$(RSYNC) -v --exclude='/website/' -rltgoD --delete --delete-after $</ $@
17949
0150d6d7728b substantially improved integration of website into distribution framework
haftmann
parents: 17948
diff changeset
    33
	-chgrp -hR $(TARGET_GROUP) $@
0150d6d7728b substantially improved integration of website into distribution framework
haftmann
parents: 17948
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
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    38
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    39
SYNC_ALWAYS:
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    40
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    41
endif
2b435795c9e9 slight improvements for website
haftmann
parents: 17743
diff changeset
    42
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    43
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    44
	perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@
16300
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    45
17743
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    46
perms:
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    47
	build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP)
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    48
.PHONY: perms