Allow CC to be passed through to change the default compiler, and also
allow the invocation of 'make' to be customised. An example use case of
this is to set CC=/usr/bin/clang and use
--make-command 'scan-build make' to build Petitboot with the clang
static analyzer.
Signed-off-by: Samuel Mendoza-Jonas <sam@mendozajonas.com>
autoconf \
autopoint \
bison \
autoconf \
autopoint \
bison \
+ clang \
+ clang-tools \
echo " -d --dry-run - Do not run docker commands." >&2
echo " -h --help - Show this help and exit." >&2
echo " -i --interactive - Run an interactive pb-builder container." >&2
echo " -d --dry-run - Do not run docker commands." >&2
echo " -h --help - Show this help and exit." >&2
echo " -i --interactive - Run an interactive pb-builder container." >&2
+ echo " -m --make-command - Set a specific command to be called for 'make'.">&2
echo " -o --configure-opts - Extra arguments for configure." >&2
echo " -t --tag - Print Docker tag to stdout and exit." >&2
echo " -v --verbose - Verbose execution." >&2
echo " -o --configure-opts - Extra arguments for configure." >&2
echo " -t --tag - Print Docker tag to stdout and exit." >&2
echo " -v --verbose - Verbose execution." >&2
echo " DOCKER_TAG - Default: '${DOCKER_TAG}'" >&2
echo " CFLAGS - Default: '${CFLAGS}'" >&2
echo " LDFLAGS - Default: '${LDFLAGS}'" >&2
echo " DOCKER_TAG - Default: '${DOCKER_TAG}'" >&2
echo " CFLAGS - Default: '${CFLAGS}'" >&2
echo " LDFLAGS - Default: '${LDFLAGS}'" >&2
+ echo " CC - Default: '${CC}'" >&2
echo "Examples:" >&2
echo " ${name} -vc"
echo " ${name} -v"
}
echo "Examples:" >&2
echo " ${name} -vc"
echo " ${name} -v"
}
-short_opts="cdhio:tv"
-long_opts="check,dry-run,help,interactive,configure-opts:,tag,verbose"
+short_opts="cdhim:o:tv"
+long_opts="check,dry-run,help,interactive,make-command:,configure-opts:,tag,verbose"
opts=$(getopt --options ${short_opts} --long ${long_opts} -n "${name}" -- "$@")
opts=$(getopt --options ${short_opts} --long ${long_opts} -n "${name}" -- "$@")
+ -m | --make-command)
+ shift
+ makecmd=${1}
+ shift
+ ;;
-o | --configure-opts)
shift
configure_opts=${1}
-o | --configure-opts)
shift
configure_opts=${1}
-flags="CFLAGS=${CFLAGS} LDFLAGS=${LDFLAGS}"
+if [[ -z "${makecmd}" ]]; then
+ makecmd="make"
+fi
+
+flags="CFLAGS=${CFLAGS} LDFLAGS=${LDFLAGS} CC=${CC}"
cd "${TOP_DIR}"
docker_args="${docker_base_args} ${docker_user_args}"
run_cmd "docker run ${docker_args} ${DOCKER_TAG} /bin/bash \
-e ${bash_debug} \
cd "${TOP_DIR}"
docker_args="${docker_base_args} ${docker_user_args}"
run_cmd "docker run ${docker_args} ${DOCKER_TAG} /bin/bash \
-e ${bash_debug} \
- -c './bootstrap && ${flags} ./configure ${configure_opts[@]} && make && ${docker_extra}'"
+ -c './bootstrap && ${flags} ./configure ${configure_opts[@]} && ${makecmd} && ${docker_extra}'"
: ${ARCH_TAG:="$(arch_tag)"}
: ${DOCKER_NAME:="pb-builder"}
: ${DOCKER_TAG:="${DOCKER_NAME}:${VERSION}${ARCH_TAG}"}
: ${ARCH_TAG:="$(arch_tag)"}
: ${DOCKER_NAME:="pb-builder"}
: ${DOCKER_TAG:="${DOCKER_NAME}:${VERSION}${ARCH_TAG}"}