Admin/website/build/make_dep.bash
author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 17944 f5ff234ce6b3
child 19331 f5e84acd7d3f
permissions -rwxr-xr-x
removed distinct, renamed gen_distinct to distinct;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17742
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     1
#!/usr/bin/env bash
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     2
# $Id$
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     3
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     4
# build make dependency file
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     5
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     6
# parameters
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     7
FIND="$1"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     8
OUTPUTROOT="$2"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
     9
DEP_FILE="$3"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    10
STATICDIRS="$4"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    11
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    12
rm -f "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    13
touch "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    14
echo '# This is a generated file; do not edit' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    15
echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    16
allstatic=''
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    17
for dir in $STATICDIRS
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    18
do
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    19
    for file in $("$FIND" "$dir" -follow -type f -a ! -path "*/CVS/*")
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    20
    do
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    21
        outputfile="\$(OUTPUTROOT)/$file"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    22
        echo "$outputfile: $file" >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    23
        echo '	mkdir -p $(dir $@)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    24
        echo '	-chmod $(TARGET_UMASK_DIR) $(dir $@)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    25
        echo '	-chgrp $(TARGET_GROUP) $(dir $@)' >> "$DEP_FILE"
17752
a92cda068ad8 added redirect.html
haftmann
parents: 17743
diff changeset
    26
        echo '	-[ -e $@ ] && rm $@' >> "$DEP_FILE"
17742
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    27
        echo '	cp $< $@' >> "$DEP_FILE"
17944
f5ff234ce6b3 towards an improved website/makedist integration
haftmann
parents: 17752
diff changeset
    28
        echo '	chmod $(TARGET_UMASK_FILE) $@' >> "$DEP_FILE"
17742
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    29
        echo '	chgrp $(TARGET_GROUP) $@' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    30
        allstatic="$allstatic$outputfile "
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    31
        echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    32
    done
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    33
done
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    34
echo "DEP_ALLSTATIC=$allstatic" >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    35
echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    36
echo 'DEP_HTML=$(DEP_ALLSTATIC) include/documentationdist.include.html $(DEP_FILE) $(CONF)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    37
echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    38
allhtml=''
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    39
for html in $("$FIND" . -name "*.html" -a ! -name "*.include.html")
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    40
do
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    41
    outputfile="\$(OUTPUTROOT)/$html"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    42
    echo "$outputfile: $html \$(DEP_HTML)" >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    43
    echo '	mkdir -p $(dir $@)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    44
    echo '	-chmod $(TARGET_UMASK_DIR) $(dir $@)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    45
    echo '	-chgrp $(TARGET_GROUP) $(dir $@)' >> "$DEP_FILE"
17752
a92cda068ad8 added redirect.html
haftmann
parents: 17743
diff changeset
    46
    echo '	-[ -e $@ ] && rm $@' >> "$DEP_FILE"
17742
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    47
    echo '	$(PYTHON) build/pypager.py --dtd="dtd/" $(FORCE_ENC_CMD) --srcroot="." --dstroot="$(OUTPUTROOT)" distname="$(DISTNAME)" $< $@' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    48
    echo '	-$(TIDYCMD) $@' >> "$DEP_FILE"
17944
f5ff234ce6b3 towards an improved website/makedist integration
haftmann
parents: 17752
diff changeset
    49
    echo '	chmod $(TARGET_UMASK_FILE) $@' >> "$DEP_FILE"
17742
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    50
    echo '	chgrp $(TARGET_GROUP) $@' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    51
    allhtml="$allhtml$outputfile "; \
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    52
    echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    53
done; \
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    54
echo "DEP_ALLHTML=$allhtml" >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    55
echo >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    56
echo 'allsite: $(DEP_ALLHTML) $(DEP_ALLSTATIC)' >> "$DEP_FILE"
549fe09d27b1 improved dependency build
haftmann
parents:
diff changeset
    57
echo ".PHONY: allsite" >> "$DEP_FILE"