forked from github/server
update tolua repo if needed
This commit is contained in:
parent
a67246ba86
commit
7fae809aa0
1 changed files with 12 additions and 10 deletions
|
@ -112,15 +112,17 @@ if [ "$HAVE_TOLUA" = "0" ] || [ -z $path ] ; then
|
||||||
if [ ! -d tolua/include ]; then
|
if [ ! -d tolua/include ]; then
|
||||||
echo "fetching tolua from github..."
|
echo "fetching tolua from github..."
|
||||||
git clone https://github.com/ennorehling/tolua.git tolua
|
git clone https://github.com/ennorehling/tolua.git tolua
|
||||||
|
cd tolua
|
||||||
|
else
|
||||||
|
cd tolua
|
||||||
|
git pull --rebase
|
||||||
fi
|
fi
|
||||||
echo "building tolua..."
|
echo "building tolua..."
|
||||||
cd tolua
|
|
||||||
make
|
make
|
||||||
cd -
|
cd -
|
||||||
cat >> $BUILD/config.cmake <<TOLUA
|
cat >> $BUILD/config.cmake <<TOLUA
|
||||||
SET(PC_TOLUA_DIR "$ROOT/tolua" CACHE PATH "tolua root")
|
SET(PC_TOLUA_DIR "$ROOT/tolua" CACHE PATH "tolua root")
|
||||||
TOLUA
|
TOLUA
|
||||||
|
|
||||||
else
|
else
|
||||||
echo "tolua is $path"
|
echo "tolua is $path"
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue