Admin/website/build/project.mak
author haftmann
Tue, 04 Oct 2005 09:19:17 +0200
changeset 17743 f546af04142a
parent 17671 e9e341bc7d42
child 17910 2b435795c9e9
permissions -rw-r--r--
support for setting local permissions
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
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
     4
project: $(OUTPUTROOT)/dist site
16329
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     5
.PHONY: project
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     6
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
     7
cleanproject:
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
     8
	rm -rf $(OUTPUTROOT)/dist
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
     9
.PHONY: cleanproject
16274
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    10
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    11
$(OUTPUTROOT)/dist: $(ISABELLE_DIST)
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    12
	$(COPY) -vRud $< $@
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    13
	chmod -R g-w $@
16242
f0d154b21b86 added library symlink
haftmann
parents: 16233
diff changeset
    14
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    16
	perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@
16300
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    17
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    18
include conf/distname.mak
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    19
conf/distname.mak:
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    20
	@echo 'There is no conf/distname.mak file; it should have been'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    21
	echo 'allocated by makedist.'; \
17563
abb280dd3431 unify dist and main
haftmann
parents: 16329
diff changeset
    22
	echo 'If you have no makedist at hand, allocate a conf/distname.mak file'; \
16300
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    23
	echo 'yourself, e. g. by:'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    24
	echo; \
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17605
diff changeset
    25
	echo 'echo "DISTNAME=Isabelle1705" > conf/distname.mak'; \
16300
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    26
	echo; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    27
	false; \
17743
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    28
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    29
perms:
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    30
	build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP)
f546af04142a support for setting local permissions
haftmann
parents: 17671
diff changeset
    31
.PHONY: perms