cva6/ci/install-fesvr.sh
Florian Zaruba bb68496ce3
ci: Fix caching (#609)
Signed-off-by: Florian Zaruba <florian@openhwgroup.org>
2021-02-08 15:28:43 +01:00

28 lines
589 B
Bash
Executable file

#!/bin/bash
set -e
ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
VERSION="35d50bc40e59ea1d5566fbd3d9226023821b1bb6"
cd $ROOT/tmp
if [ -z ${NUM_JOBS} ]; then
NUM_JOBS=1
fi
if [ ! -e "${RISCV}/bin/spike" ]; then
echo "Installing fesvr"
git clone https://github.com/riscv/riscv-isa-sim.git
cd riscv-isa-sim
git checkout $VERSION
mkdir -p build
cd build
../configure --prefix="$RISCV/"
make install-config-hdrs install-hdrs libfesvr.a
mkdir -p $RISCV/lib
cp libfesvr.a $RISCV/lib
else
echo "Using fesvr from cached directory."
fi