diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-11-13 05:22:18 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-13 05:22:18 -0800 |
commit | 2704790df5d16868571bacf4c521df4bac87f452 (patch) | |
tree | 5b80d59e0eb989d491f2c7db46a1a960e8236e67 /riscv/riscv.ac | |
parent | ff81dea8593c6e51b45e7bed230a2cafd56e4caf (diff) | |
parent | 86857aa3511d0a3bb1d28f8a6213013382545f77 (diff) | |
download | spike-2704790df5d16868571bacf4c521df4bac87f452.zip spike-2704790df5d16868571bacf4c521df4bac87f452.tar.gz spike-2704790df5d16868571bacf4c521df4bac87f452.tar.bz2 |
Merge pull request #356 from riscv/priv-flag
Add --priv command-line option to set which privilege modes are available
Diffstat (limited to 'riscv/riscv.ac')
-rw-r--r-- | riscv/riscv.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/riscv/riscv.ac b/riscv/riscv.ac index 40cf706..747c3e3 100644 --- a/riscv/riscv.ac +++ b/riscv/riscv.ac @@ -6,6 +6,12 @@ AC_ARG_WITH(isa, AC_DEFINE_UNQUOTED([DEFAULT_ISA], "$withval", [Default value for --isa switch]), AC_DEFINE_UNQUOTED([DEFAULT_ISA], "RV64IMAFDC", [Default value for --isa switch])) +AC_ARG_WITH(priv, + [AS_HELP_STRING([--with-priv=MSU], + [Sets the default RISC-V privilege modes supported])], + AC_DEFINE_UNQUOTED([DEFAULT_PRIV], "$withval", [Default value for --priv switch]), + AC_DEFINE_UNQUOTED([DEFAULT_PRIV], "MSU", [Default value for --priv switch])) + AC_ARG_WITH(varch, [AS_HELP_STRING([--with-varch=v128:e32:s128], [Sets the default vector config])], |