blob: ed7de8f9a9dde0e22302e9bbec3d15eb7bf20a51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/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
|
