2 function setPrefix () {
4 echo "Usage: $0 PREFIX" >&2
11 function setConfigArgs () {
15 PKG_CONFIG_PATH="$PKG_CONFIG_PATH" \
21 function setBuildTarget () {
22 if (( $# != 1 )); then
23 echo "Usage: $0 TARGET" >&2
30 function setDocDirectory () {
31 if (( $# != 1 )); then
32 echo "Usage: $0 DIRECTORY" >&2
39 function setDocTarget () {
40 if (( $# != 1 )); then
41 echo "Usage: $0 TARGET" >&2