Files
riscv-isa-sim/ci-tests/build-spike

26 lines
603 B
Bash
Executable File

#!/bin/bash
set -e
ROOT=`git rev-parse --show-toplevel`
NPROCS="$(nproc 2> /dev/null || sysctl -n hw.ncpu)"
HERE=`pwd`
CI="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
INSTALL=$HERE/install
BUILD=$HERE/build
rm -rf $INSTALL $BUILD
mkdir $INSTALL $BUILD
# build spike
mkdir $BUILD/spike
cd $BUILD/spike
CFLAGS="-Werror -Wall -Wextra -Wvla"
CXXFLAGS="-Wnon-virtual-dtor $CFLAGS"
CXXFLAGS="$CXXFLAGS" CFLAGS="$CFLAGS" $ROOT/configure --prefix=$INSTALL
make -j$NPROCS
make check
make install install-hdrs-list.h
# check that help message prints without error
$INSTALL/bin/spike -h