16233
|
1 |
# isaweb makefile - project-specific dependencies
|
|
2 |
# $Id$
|
|
3 |
|
17671
|
4 |
project: $(OUTPUTROOT)/dist site
|
16329
|
5 |
.PHONY: project
|
|
6 |
|
17671
|
7 |
cleanproject:
|
|
8 |
rm -rf $(OUTPUTROOT)/dist
|
|
9 |
.PHONY: cleanproject
|
16274
|
10 |
|
17910
|
11 |
ifeq ($(RSYNC),)
|
|
12 |
|
17671
|
13 |
$(OUTPUTROOT)/dist: $(ISABELLE_DIST)
|
17910
|
14 |
mkdir -p $@
|
17671
|
15 |
$(COPY) -vRud $< $@
|
|
16 |
chmod -R g-w $@
|
16242
|
17 |
|
17910
|
18 |
else
|
|
19 |
|
|
20 |
$(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS
|
|
21 |
mkdir -p $@
|
|
22 |
$(RSYNC) -v -a --delete --delete-after $</ $@
|
|
23 |
chmod -R g-w $@
|
|
24 |
|
|
25 |
SYNC_ALWAYS:
|
|
26 |
|
|
27 |
endif
|
|
28 |
|
16233
|
29 |
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
|
17671
|
30 |
perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@
|
16300
|
31 |
|
|
32 |
include conf/distname.mak
|
|
33 |
conf/distname.mak:
|
|
34 |
@echo 'There is no conf/distname.mak file; it should have been'; \
|
|
35 |
echo 'allocated by makedist.'; \
|
17563
|
36 |
echo 'If you have no makedist at hand, allocate a conf/distname.mak file'; \
|
16300
|
37 |
echo 'yourself, e. g. by:'; \
|
|
38 |
echo; \
|
17671
|
39 |
echo 'echo "DISTNAME=Isabelle1705" > conf/distname.mak'; \
|
16300
|
40 |
echo; \
|
|
41 |
false; \
|
17743
|
42 |
|
|
43 |
perms:
|
|
44 |
build/set_perm.bash $(FIND) $(LOCAL_UMASK_FILE) $(LOCAL_UMASK_DIR) $(LOCAL_GROUP)
|
|
45 |
.PHONY: perms |