1 |
9555
|
aaronmk
|
#!/bin/bash -e
|
2 |
|
|
. "$(dirname "${BASH_SOURCE[0]}")"/util.run
|
3 |
9854
|
aaronmk
|
.rel ../sh/local.sh
|
4 |
10096
|
aaronmk
|
.rel ../sh/datasrc.sh
|
5 |
9555
|
aaronmk
|
|
6 |
|
|
if self_not_included; then
|
7 |
|
|
|
8 |
|
|
: "${schema="$(log+ 2 cd "$top_dir"/..; basename "$PWD")"}"
|
9 |
9585
|
aaronmk
|
: "${subdir="$(log+ 2 cd "$top_dir" ; basename "$PWD")"}"
|
10 |
|
|
export schema subdir
|
11 |
10097
|
aaronmk
|
dir2schema
|
12 |
9555
|
aaronmk
|
|
13 |
9585
|
aaronmk
|
subdir_make()
|
14 |
9555
|
aaronmk
|
# requires Makefile in datasrc dir with `include ../input.Makefile`
|
15 |
9585
|
aaronmk
|
# target names are relative to the subdir itself, not the datasrc dir
|
16 |
9555
|
aaronmk
|
{
|
17 |
9584
|
aaronmk
|
echo_func
|
18 |
9745
|
aaronmk
|
set -- "${@/#/$subdir/}" # replace empty str at start (/#) with $subdir/
|
19 |
9943
|
aaronmk
|
set -- "${@/%/${remake:+-remake}}" # replace empty str at end (/%)
|
20 |
9745
|
aaronmk
|
make --directory="$(canon_rel_path "$top_dir"/..)" "$@"
|
21 |
9555
|
aaronmk
|
}
|
22 |
|
|
|
23 |
|
|
fi
|