You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
25 lines
603 B
25 lines
603 B
#!/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
|
|
|