search

riscv-software-src / riscv-pk

RISC-V Proxy Kernel
Other
581 stars 307 forks source link

WARNING: unrecognized options: --with-arch=rv32i #203

Closed WilliamWangPeng closed 4 years ago

WilliamWangPeng commented 4 years ago

Hi dear guys
I met a problem when building RV32 pk, I choose the --with-arch=rv32i as told in README, but the error occurs that configure: WARNING: unrecognized options: --with-arch, do you know why?

$ ../configure --prefix=$RISCV --host=riscv32-unknown-elf --with-arch=rv32i

pk32

thank you Best Regards William

WilliamWangPeng commented 4 years ago

also when I install
cd build ../configure --prefix=$RISCV --host=riscv32-unknown-elf
finally the path is $RISCV/riscv64-unknown-elf, but $RISCV/riscv32-unknown-elf. I do installed riscv32-gnu-toolchain, and riscv32-unknown-elf-gcc works well in compiling