1

devtools/bin/vpc

@@ -0,0 +1,46 @@
+#!/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