diff options
author | Nick Knight <nick.knight@sifive.com> | 2019-12-09 16:18:49 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-12-09 16:18:49 -0800 |
commit | 34ceb37298b3b6cdb7eaf38dd519f564a28bfb63 (patch) | |
tree | 07e61d7e852f0f981d5ef51fe879b774e572b331 /configure.ac | |
parent | 103f61c8a0204e0ad4e2a2dc4c0e9993eb7ef28d (diff) | |
download | riscv-pk-34ceb37298b3b6cdb7eaf38dd519f564a28bfb63.zip riscv-pk-34ceb37298b3b6cdb7eaf38dd519f564a28bfb63.tar.gz riscv-pk-34ceb37298b3b6cdb7eaf38dd519f564a28bfb63.tar.bz2 |
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.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 033c7f9..1653f2b 100644 --- a/configure.ac +++ b/configure.ac @@ -83,6 +83,9 @@ AC_ARG_VAR(RISCV, [top-level RISC-V install directory]) AC_ARG_WITH([arch], AS_HELP_STRING([--with-arch], [Set the RISC-V architecture]), [AC_SUBST([WITH_ARCH], $with_arch, [Specify architecture to build the project])]) +AC_ARG_WITH([abi], AS_HELP_STRING([--with-abi], [Set the RISC-V ABI]), + [AC_SUBST([WITH_ABI], $with_abi, [Specify ABI to build the project])]) + AC_ARG_ENABLE([print-device-tree], AS_HELP_STRING([--enable-print-device-tree], [Print DTS when booting])) AS_IF([test "x$enable_print_device_tree" = "xyes"], [ AC_DEFINE([PK_PRINT_DEVICE_TREE],,[Define if the DTS is to be displayed]) |