Admin/website/build/project.mak

mkdir -p for symlinks

# isaweb makefile - project-specific dependencies
# $Id$

project: site
	chmod -R g-w $(OUTPUTROOT)/dist/packages
.PHONY: project

#~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library

#~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
	#~ mkdir -p $(OUTPUTROOT)/dist
	#~ ln -s $< $@

DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/dist/library

dist/packages: $(ISABELLE_DIST)
	mkdir -p dist
	ln -s $< $@

#~ library: $(ISABELLE_LIBR)
#~	ln -s $< $@

$(OUTPUTROOT)/dist/library: $(ISABELLE_LIBR)
	mkdir -p $(OUTPUTROOT)/dist
	ln -s $< $@
	chmod $(TARGET_UMASK_DIR) $@

include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@

symlinks: $(DEP_SYMLINKS)
.PHONY: symlinks

include conf/distname.mak
conf/distname.mak:
	@echo 'There is no conf/distname.mak file; it should have been'; \
	echo 'allocated by makedist.'; \
	echo 'If you have no makedist at hand, allocate a conf/distname.mak file'; \
	echo 'yourself, e. g. by:'; \
	echo; \
	echo 'echo "DISTNAME=Isabelle2004" > conf/distname.mak'; \
	echo; \
	false; \