blob: 1cc839f058c8054d39d19f0d267a19f22e78ad98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
#! @SHELL@
# ctangleboot-sh: shell script to invoke ctangleboot and if required
# update c{tangle,web}boot.[ch]in from c{tangle,web}.[ch].
# For details see tangle-sh.
#
# Copyright (C) 2009-2012 Peter Breitenlohner <tex-live@tug.org>
#
# This file is free software; the copyright holder
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.
#
target=$1; shift
base=$1
case $base in
common) file=cweb; exts=c;;
ctangle) file=ctangle; exts=c;;
*) echo "Usage: $0 TARGET {common|ctangle} [CHANGEFILE]" >&2; exit 1;;
esac
TEXMFCNF=@srcdir@/../kpathsea; export TEXMFCNF
CWEBINPUTS=@srcdir@/cwebdir; export CWEBINPUTS
do_ctangleboot () {
echo timestamp >$stamp.tmp
if $AM_V_P; then
echo "@CTANGLEBOOT@ $@"
@CTANGLEBOOT@ "$@" || exit 1
else
echo " CTANGLE " $base
@CTANGLEBOOT@ "$@" >$base.out 2>&1; rc=$?
test $rc -eq 0 || { cat $base.out; exit $rc; }
rm -f $base.out
fi
mv -f $stamp.tmp $stamp
}
stamp=$base-ctangle
case $target in
$stamp)
# Normal build.
rm -f $stamp.tmp
do_ctangleboot "$@"
;;
*)
# Recover from removal of $target
test -f $target && exit 0
trap "rm -rf $stamp $stamp.lock" 1 2 13 15
if mkdir $stamp.lock 2>/dev/null; then
# Code executed by the first process.
rm -f $stamp $stamp.tmp
do_ctangleboot "$@"
rmdir $stamp.lock
else
# Code executed by the follower processes.
# Wait until the first process is done.
while test -d $stamp.lock; do sleep 1; done
# Succeed if and only if the first process succeeded.
test -f $stamp; exit $?
fi
;;
esac
for ext in $exts; do
src=$file.$ext
dst=@srcdir@/${file}boot.${ext}in
sed -e 's,@srcdir@/cwebdir,cwebdir,' \
$src >$stamp.tmp
if cmp -s $stamp.tmp $dst; then
rm -f $stamp.tmp
else
if $AM_V_P; then
echo "Updating $src => $dst"
else
echo " UPD " ${file}boot.${ext}in
fi
mv -f $stamp.tmp $dst || exit 1
fi
done
exit 0
|
