aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorak-fau <ak-fau@users.noreply.github.com>2019-04-14 14:26:17 +0200
committerAndrew Waterman <aswaterman@gmail.com>2019-04-14 05:26:17 -0700
commit723aa2249a0a909b88ce2d48c7e6b2e36bf630fc (patch)
tree7dec41c605302fae8d00dcd139e1b7998098ff51 /README.md
parent97b683ed3cbeeb059e5ad3de8f884db734447d56 (diff)
downloadriscv-pk-723aa2249a0a909b88ce2d48c7e6b2e36bf630fc.zip
riscv-pk-723aa2249a0a909b88ce2d48c7e6b2e36bf630fc.tar.gz
riscv-pk-723aa2249a0a909b88ce2d48c7e6b2e36bf630fc.tar.bz2
Update configure option for 32-bit (#156)
configure script does not support --enable-32bit option since June 2018 (commit c3cf29a8f2f5f6a0b793bd1f24b083a759370a01). The right step to enable 32-bit support in pk is to provide '--with-arch=rv32i' option to configure.
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 5ddf257..bbe9fd9 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Alternatively, the GNU/Linux toolchain may be used to build this package,
by setting `--host=riscv64-unknown-linux-gnu`.
By default, 64-bit (RV64) versions of `pk` and `bbl` are built. To
-built 32-bit (RV32) versions, supply a `--enable-32bit` flag to the
+built 32-bit (RV32) versions, supply a `--with-arch=rv32i` flag to the
configure command.
The `install` step installs 64-bit build products into a directory