From 723aa2249a0a909b88ce2d48c7e6b2e36bf630fc Mon Sep 17 00:00:00 2001 From: ak-fau Date: Sun, 14 Apr 2019 14:26:17 +0200 Subject: 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. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') 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 -- cgit v1.1