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
|
2014-08-17 11:19:04 +02:00
|
|
|
|
2015-06-17 08:06:01 +02:00
|
|
|
# install crontab, but only on the eressea server:
|
2015-09-12 21:43:36 +02:00
|
|
|
# in fact, never do this, because it overwrites hand-edits
|
|
|
|
|
#WHOAMI=`whoami`@`hostname`
|
|
|
|
|
#[ "eressea@gruenbaer" = "$WHOAMI" ] && crontab $ROOT/process/cron/crontab
|
