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.
46 lines
733 B
46 lines
733 B
#!/bin/bash |
|
|
|
OS=`uname` |
|
SCRIPTPATH=`dirname $0` |
|
FORCEARG="" |
|
|
|
case $OS in |
|
"Darwin") |
|
BINNAME=vpc_osx |
|
;; |
|
"Linux") |
|
BINNAME=vpc_linux |
|
;; |
|
*) |
|
echo "Couldn't find appropriate VPC binary, fix the script." |
|
exit -1 |
|
;; |
|
esac |
|
|
|
CWD=`pwd` |
|
cd $SCRIPTPATH/../../external/vpc/utils/vpc |
|
# ask make if we need to do any work, returns 0 if we don't, |
|
# non zero if we do. |
|
make -q |
|
RC=$? |
|
if [ $RC -eq 1 ]; then |
|
FORCEARG="/f" |
|
elif [ $RC -eq 2 ]; then |
|
FORCEARG="/f" |
|
make clean |
|
fi |
|
make -j4 |
|
if [ $? -ne 0 ]; then |
|
exit -1 |
|
fi |
|
|
|
cd $CWD |
|
|
|
if [ $OS == "Darwin" ]; then |
|
$SCRIPTPATH/$BINNAME $FORCEARG $@ |
|
elif [ $OS == "Linux" ]; then |
|
$SCRIPTPATH/$BINNAME $FORCEARG $@ |
|
else |
|
echo "Couldn't find appropriate VPC binary, fix the script." |
|
exit -1 |
|
fi
|
|
|