2014-04-20 18:36:25 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
ROOT=$(pwd)
|
|
|
|
|
while [ ! -d $ROOT/.git ]; do
|
|
|
|
|
ROOT=$(dirname $ROOT)
|
2015-06-17 08:06:01 +02:00
|
|
|
if [ "/" = "$ROOT" ]; then
|
2014-04-20 18:36:25 +02:00
|
|
|
echo "could not find root, are you in the git repository?"
|
|
|
|
|
exit
|
|
|
|
|
fi
|
|
|
|
|
done
|
|
|
|
|
|
2015-10-27 12:32:32 +01:00
|
|
|
[ -z "$CC" ] && [ ! -z `which clang` ] && CC="clang"
|
2014-04-20 18:36:25 +02:00
|
|
|
[ -z "$CC" ] && [ ! -z `which gcc` ] && CC="gcc"
|
|
|
|
|
[ -z "$CC" ] && [ ! -z `which tcc` ] && CC="tcc"
|
|
|
|
|
[ -z "$CC" ] && [ ! -z `which cc` ] && CC="cc"
|
2017-01-11 10:57:42 +01:00
|
|
|
BIN_DIR="Debug"
|
2014-04-20 18:36:25 +02:00
|
|
|
|
|
|
|
|
cd $ROOT/$BIN_DIR
|
|
|
|
|
make install
|
