1
|
#!/bin/bash -e
|
2
|
shopt -s expand_aliases
|
3
|
# run scripts: a bash-based replacement for make
|
4
|
# unlike make, supports full bash functionality including multiline commands
|
5
|
# usage: path/to/dir/run cmd args
|
6
|
|
7
|
if false; then #### run script template:
|
8
|
#!/bin/bash -e
|
9
|
. "$(dirname "${BASH_SOURCE[0]}")"/path/to/util.run or file_including_util.run
|
10
|
. "$(dirname "${BASH_SOURCE[0]}")"/other_includes
|
11
|
|
12
|
cmd ()
|
13
|
{
|
14
|
echo_func "$@"
|
15
|
"$(dirname "${BASH_SOURCE[0]}")"/path_relative_to_self
|
16
|
"$(dirname "${BASH_SOURCE[1]}")"/path_relative_to_caller
|
17
|
"$top_dir"/path_relative_to_outermost_script
|
18
|
}
|
19
|
fi ####
|
20
|
|
21
|
echo_cmd () { echo "$PS4$*" >&2; }
|
22
|
|
23
|
echo_run () { echo_cmd "$@"; "$@"; }
|
24
|
|
25
|
# usage: echo_func "$@"
|
26
|
echo_func ()
|
27
|
{
|
28
|
echo_cmd "${BASH_SOURCE[1]}:${BASH_LINENO[0]}" "${FUNCNAME[1]}" "$@"
|
29
|
}
|
30
|
|
31
|
echo_stdin () { tee -a /dev/stderr; } # usage: input|echo_stdin|cmd
|
32
|
|
33
|
echo_vars () { declare -p "$@" >&2; } # usage: echo_vars var...
|
34
|
|
35
|
echo_export ()
|
36
|
{
|
37
|
echo_vars "$@"
|
38
|
export "$@"
|
39
|
}
|
40
|
|
41
|
alias export="echo_export" # automatically echo env vars when they are set
|
42
|
|
43
|
usage () { echo "Usage: $1" >&2; (exit 2); }
|
44
|
|
45
|
top_dir="$(dirname "$0")" # outermost script
|
46
|
|
47
|
run_args_cmd () # runs the command line args command
|
48
|
{
|
49
|
test "$?" -eq 0 || return
|
50
|
set -- "${BASH_ARGV[@]}"
|
51
|
test "$#" -ge 1 || set -- all
|
52
|
echo_cmd "$0" "$@"; "$@"
|
53
|
}
|
54
|
|
55
|
# users can override this function to perform other commands (or no commands)
|
56
|
# after the script is read
|
57
|
on_exit () { run_args_cmd; }
|
58
|
trap on_exit EXIT
|
59
|
|
60
|
fwd () # usage: subdirs=(...); fwd "$FUNCNAME" "$@"
|
61
|
{
|
62
|
echo_func "$@"
|
63
|
: "${subdirs?}"
|
64
|
|
65
|
for subdir in "${subdirs[@]}"; do
|
66
|
"$(dirname "${BASH_SOURCE[1]}")"/"$subdir"/run "$@"
|
67
|
done
|
68
|
}
|
69
|
|
70
|
make ()
|
71
|
{
|
72
|
echo_func "$@"
|
73
|
echo_run env make --directory="$top_dir" "$@"
|
74
|
}
|
75
|
|
76
|
if false; then ## usage:
|
77
|
inline_make <<'EOF'
|
78
|
target:
|
79
|
$(self_dir)/cmd >$@
|
80
|
EOF
|
81
|
# target will be run automatically because it's first in the makefile
|
82
|
fi ##
|
83
|
inline_make ()
|
84
|
{
|
85
|
local self="$(readlink -f "${BASH_SOURCE[1]}")"
|
86
|
local self_dir="$(dirname "$self")"
|
87
|
export self_dir
|
88
|
|
89
|
echo_func "$@"
|
90
|
(cat
|
91
|
cat <<EOF
|
92
|
|
93
|
.SUFFIXES: # turn off built-in suffix rules
|
94
|
.SECONDARY: # don't automatically delete intermediate files
|
95
|
.DELETE_ON_ERROR: # delete target if recipe fails
|
96
|
EOF
|
97
|
)|echo_stdin|make --makefile=/dev/stdin "$@"
|
98
|
}
|