Add a "--with-xlen" configure argument (#16)
authorPalmer Dabbelt <palmer@dabbelt.com>
Tue, 12 Jul 2016 18:17:10 +0000 (11:17 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Tue, 12 Jul 2016 18:17:10 +0000 (11:17 -0700)
commit7f3b666f55c9f01c2f2fd725c1686e1a509df173
tree2e256eed2b68c15a0e0dfa6984acf96bd2252fca
parentb6c8a03dcd7ed3c109d2c9da797b295f160f051d
Add a "--with-xlen" configure argument (#16)

The tools had riscv64-unknown-elf-gcc hard-coded all over the place.
This lets users override that if they have a 32-bit toolchain.
Makefile.in
benchmarks/Makefile
configure
configure.ac
isa/Makefile
mt/Makefile