--- /dev/null
+declare prefix
+function setPrefix () {
+ if (( $# != 1 )); then
+ echo "Usage: $0 PREFIX" >&2
+ return 1
+ fi
+ prefix="$1"
+}
+
+declare -a configArgs
+function setConfigArgs () {
+ configArgs=( \
+ --prefix="$prefix" \
+ PATH="$PATH" \
+ "$@" \
+ )
+}
+
+declare buildTarget
+function setBuildTarget () {
+ if (( $# != 1 )); then
+ echo "Usage: $0 TARGET" >&2
+ return 1
+ fi
+ buildTarget="$1"
+}
+
+declare docDirectory
+function setDocDirectory () {
+ if (( $# != 1 )); then
+ echo "Usage: $0 DIRECTORY" >&2
+ return 1
+ fi
+ docDirectory="$1"
+}
+
+declare docTarget
+function setDocTarget () {
+ if (( $# != 1 )); then
+ echo "Usage: $0 TARGET" >&2
+ return 1
+ fi
+ docTarget="$1"
+}