Project

General

Profile

1
#!/bin/bash -e
2
# runscripts: a bash-based replacement for make
3
# unlike make, supports full bash functionality including multiline commands
4
# usage: .../run function args
5
# this usage also applies to all files that include this file
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
.rel 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
. "$(dirname "${BASH_SOURCE[0]}")"/../sh/util.sh
22
.rel ../sh/make.sh
23

    
24
if self_not_included; then
25

    
26

    
27
#### setup
28

    
29
run_args_cmd() # runs the command line args command
30
{
31
	eval set -- "$(reverse "${BASH_ARGV[@]}")"
32
	test $# -ge 1 || set -- all
33
	echo_cmd "$top_script" "$@"; time "$@"
34
}
35

    
36
# users can override run_args_cmd to perform other commands (or no commands)
37
# after the script is read
38
on_exit() { test $? -eq 0 || return; run_args_cmd; }
39
trap on_exit EXIT
40

    
41
func_override set_paths__util_sh
42
set_paths()
43
{
44
	set_paths__util_sh "$@"
45
	top_file="${top_script%[./]run}"; echo_vars top_file
46
	top_filename="$(basename "$top_file")"; echo_vars top_filename
47
}
48
set_paths
49

    
50

    
51
#### utils
52

    
53
# usage: to_top_file cmd...
54
alias to_top_file='stdout="$top_file" to_file ' #last sp alias-expands next word
55

    
56
,() # usage: .../run , cmd1 cmd2 ... (like `make cmd1 cmd2 ...`)
57
# treats each of the command-line args as commands the way make does
58
# (instead of as args to the same command, the way runscripts do)
59
{ echo_func; for cmd in "$@"; do time echo_run "$cmd"; done; }
60

    
61
fwd() # usage: subdirs=(...); fwd "$FUNCNAME" "$@"
62
{
63
	echo_func
64
	: "${subdirs?}"
65
	
66
	for subdir in "${subdirs[@]}"; do "$top_dir"/"$subdir"/run "$@"; done
67
}
68

    
69
fi
(12-12/13)