Added --with-abi configure option (#183)

* Added --with-abi configure option

* Revised to preserve original semantics when user specifies --with-arch but not --with-abi or when the user specifies --with-arch but not --host.

1 files changed, 11 insertions, 0 deletions

diff --git a/configure b/configure
index b81acb5..587f1f6 100755
--- a/configure
+++ b/configure
@@ -594,6 +594,7 @@ BBL_LOGO_FILE
 BBL_PAYLOAD
 BBL_ENABLE_LOGO
 MEM_START
+WITH_ABI
 WITH_ARCH
 RISCV
 EGREP
@@ -671,6 +672,7 @@ ac_user_opts='
 enable_option_checking
 enable_stow
 with_arch
+with_abi
 enable_print_device_tree
 with_mem_start
 enable_optional_subprojects
@@ -1323,6 +1325,7 @@ Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
   --with-arch             Set the RISC-V architecture
+  --with-abi              Set the RISC-V ABI
   --with-mem-start        Set physical memory start address
   --with-payload          Set ELF payload for bbl
   --with-logo             Specify a better logo
@@ -4073,6 +4076,14 @@ if test "${with_arch+set}" = set; then :
 fi
 
 
+
+# Check whether --with-abi was given.
+if test "${with_abi+set}" = set; then :
+  withval=$with_abi; WITH_ABI=$with_abi
+
+fi
+
+
 # Check whether --enable-print-device-tree was given.
 if test "${enable_print_device_tree+set}" = set; then :
   enableval=$enable_print_device_tree;