explicitly disable boost for spike build

because https://github.com/riscv-software-src/riscv-isa-sim/issues/834 and we don't need the debug socket
This commit is contained in:
Tim Snyder
2022-02-24 01:46:23 +00:00
parent 871dc29e0d
commit c223d09cb6

View File

@@ -154,7 +154,7 @@ else
module_make riscv-gnu-toolchain linux
fi
module_all riscv-isa-sim --prefix="${RISCV}"
module_all riscv-isa-sim --prefix="${RISCV}" --with-boost=no
# build static libfesvr library for linking into firesim driver (or others)
echo '==> Installing libfesvr static library'
module_make riscv-isa-sim libfesvr.a