Admin/website/build/project.mak
author haftmann
Thu, 09 Jun 2005 11:07:37 +0200
changeset 16329 c045695273a3
parent 16323 7115adb43f3f
child 17563 abb280dd3431
permissions -rw-r--r--
added chmod for packages
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
16329
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     4
project: site
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     5
	chmod -R g-w $(OUTPUTROOT)/dist/packages
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     6
.PHONY: project
c045695273a3 added chmod for packages
haftmann
parents: 16323
diff changeset
     7
16274
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
     8
#~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
     9
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    10
#~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    11
	#~ mkdir -p $(OUTPUTROOT)/dist
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    12
	#~ ln -s $< $@
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
16277
f3f4d357b8ad better symlink handling
haftmann
parents: 16275
diff changeset
    14
DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/library
16274
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    15
fb68cffed61f a more spohisticated symlink handling
haftmann
parents: 16243
diff changeset
    16
dist/packages: $(ISABELLE_DIST)
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    17
	ln -s $< $@
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
16277
f3f4d357b8ad better symlink handling
haftmann
parents: 16275
diff changeset
    19
#~ library: $(ISABELLE_LIBR)
f3f4d357b8ad better symlink handling
haftmann
parents: 16275
diff changeset
    20
#~	ln -s $< $@
f3f4d357b8ad better symlink handling
haftmann
parents: 16275
diff changeset
    21
f3f4d357b8ad better symlink handling
haftmann
parents: 16275
diff changeset
    22
$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
16242
f0d154b21b86 added library symlink
haftmann
parents: 16233
diff changeset
    23
	ln -s $< $@
16323
7115adb43f3f added file acces rights handling
haftmann
parents: 16300
diff changeset
    24
	chmod $(TARGET_UMASK_DIR) $@
16242
f0d154b21b86 added library symlink
haftmann
parents: 16233
diff changeset
    25
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
16275
951803bff5b1 a more spohisticated symlink handling
haftmann
parents: 16274
diff changeset
    27
	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
951803bff5b1 a more spohisticated symlink handling
haftmann
parents: 16274
diff changeset
    28
951803bff5b1 a more spohisticated symlink handling
haftmann
parents: 16274
diff changeset
    29
symlinks: $(DEP_SYMLINKS)
951803bff5b1 a more spohisticated symlink handling
haftmann
parents: 16274
diff changeset
    30
.PHONY: symlinks
16300
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    31
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    32
include conf/distname.mak
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    33
conf/distname.mak:
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    34
	@echo 'There is no conf/distname.mak file; it should have been'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    35
	echo 'allocated by makedist.'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    36
	echo 'If you have no makedist at hands, allocate a conf/distname.mak file'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    37
	echo 'yourself, e. g. by:'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    38
	echo; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    39
	echo 'echo "DISTNAME=Isabelle2004" > conf/distname.mak'; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    40
	echo; \
a4e163c7ed9c minor refinements
haftmann
parents: 16277
diff changeset
    41
	false; \