From 906677d6411c3dc579e07967d0137a12392ff314 Mon Sep 17 00:00:00 2001 From: Fabio Fantoni Date: Thu, 5 Sep 2013 12:40:01 +0200 Subject: tools: allow user to specify a system seabios binary If this option is given don't bother building seabios ourselves. Likely to be handy for distros who have an existing seabios package which they want to reuse. Signed-off-by: Fabio Fantoni Acked-by: Ian Campbell --- tools/configure.ac | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'tools/configure.ac') diff --git a/tools/configure.ac b/tools/configure.ac index 1f576819a8..2e57bfc0a0 100644 --- a/tools/configure.ac +++ b/tools/configure.ac @@ -97,6 +97,17 @@ AS_IF([test "x$qemu_xen" = "xn"], [ ]) AC_SUBST(qemu_xen) +AC_ARG_WITH([system-seabios], + AS_HELP_STRING([--with-system-seabios@<:@=PATH@:>@], + [Use system supplied seabios PATH instead of building and installing + our own version]),[ + case $withval in + no) seabios_path= ;; + *) seabios_path=$withval ;; + esac +],[]) +AC_SUBST(seabios_path) + AC_ARG_VAR([PREPEND_INCLUDES], [List of include folders to prepend to CFLAGS (without -I)]) AC_ARG_VAR([PREPEND_LIB], -- cgit v1.2.3