Project

General

Profile

1
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/util.sh
3

    
4
if self_not_included; then
5

    
6
# usage: target_filename/command() { echo_func; set_make_vars; ...; }
7
alias set_make_vars="$(cat <<'EOF'
8
local command="${FUNCNAME##*/}"; echo_vars command
9
local target_filename="${FUNCNAME%/*}"; echo_vars target_filename
10
local target="$top_dir/$target_filename"; echo_vars target
11
EOF
12
)"
13

    
14
if isset rm; then : "${remake:=$rm}"; fi #mnemonic: files are rm'd (overwritten)
15

    
16
alias remaking='test "$remake"'
17

    
18
# usage: set_make_vars; check_target_exists
19
alias check_target_exists='remaking || require_not_exists "$target" || return 0'
20
alias check_fake_target_exists='remaking || declare if_not_exists=1'
21
	# defer check until to_file
22

    
23
# usage: set_make_vars; to_target cmd...
24
alias to_target='stdout="$target" to_file ' # last space alias-expands next word
25

    
26
make() { echo_func; stdout2stderr=1 limit_stderr=1 self "$@"; }
27

    
28
if false; then ## usage:
29
inline_make 10<<'EOF'
30
target:
31
	$(self_dir)/cmd >$@
32
EOF
33
# target will be run automatically because it's first in the makefile
34
fi ##
35
inline_make()
36
{
37
	echo_func
38
	local self="$(readlink -f "${BASH_SOURCE[1]}")"
39
	local self_dir="$(dirname "$self")"
40
	export self self_dir
41
	
42
	make --makefile=<((
43
		cat /dev/fd/10
44
		echo -n "
45
.SUFFIXES: # turn off built-in suffix rules
46
.SECONDARY: # don't automatically delete intermediate files
47
.DELETE_ON_ERROR: # delete target if recipe fails
48
"
49
	)|echo_stdin) "$@"
50
}
51

    
52
fi
(4-4/5)