From 59b770ad15aff8fdf93364d001ed70800e1eca77 Mon Sep 17 00:00:00 2001 From: Ross Thompson Date: Sat, 21 Jan 2023 17:32:44 -0600 Subject: [PATCH] fixes to install script. --- bin/wally-tool-chain-install.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh index fa368593..c2be7cf0 100755 --- a/bin/wally-tool-chain-install.sh +++ b/bin/wally-tool-chain-install.sh @@ -3,6 +3,8 @@ export PATH=$PATH:$RISCV/bin NUM_THREADS=4 +sudo mkdir -p $RISCV + # UPDATE / UPGRADE apt update @@ -10,6 +12,7 @@ apt update apt install -y git gawk make texinfo bison flex build-essential python3 libz-dev libexpat-dev autoconf device-tree-compiler ninja-build libpixman-1-dev build-essential ncurses-base ncurses-bin libncurses5-dev dialog curl wget ftp libgmp-dev # gcc cross-compiler +cd $RISCV git clone https://github.com/riscv/riscv-gnu-toolchain cd riscv-gnu-toolchain ./configure --prefix=${RISCV} --enable-multilib --with-multilib-generator="rv32e-ilp32e--;rv32i-ilp32--;rv32im-ilp32--;rv32iac-ilp32--;rv32imac-ilp32--;rv32imafc-ilp32f--;rv32imafdc-ilp32d--;rv64i-lp64--;rv64ic-lp64--;rv64iac-lp64--;rv64imac-lp64--;rv64imafdc-lp64d--;rv64im-lp64--;" @@ -17,6 +20,7 @@ make -j $(NUM_THREADS) make install # elf2hex +cd $RISCV export PATH=$RISCV/riscv-gnu-toolchain/bin:$PATH git clone https://github.com/sifive/elf2hex.git cd elf2hex @@ -32,6 +36,7 @@ apt-get -y install pkg-config apt-get -y install libglib2.0-dev # QEMU +cd $RISCV git clone --recurse-submodules https://github.com/qemu/qemu cd qemu ./configure --target-list=riscv64-softmmu --prefix=$RISCV @@ -39,6 +44,7 @@ make -j $(NUM_THREADS) make install # Spike +cd $RISCV git clone https://github.com/riscv-software-src/riscv-isa-sim mkdir riscv-isa-sim/build cd riscv-isa-sim/build @@ -50,6 +56,7 @@ sed -i 's/--isa=rv32ic/--isa=rv32iac/' rv32i_m/privilege/Makefile.include sed -i 's/--isa=rv64ic/--isa=rv64iac/' rv64i_m/privilege/Makefile.include # SAIL +cd $RISCV apt-get install -y opam build-essential libgmp-dev z3 pkg-config zlib1g-dev git clone https://github.com/Z3Prover/z3.git cd z3