File indexing completed on 2024-05-05 04:52:23

0001 #!/bin/sh
0002 set -eu
0003 
0004 if [ "$(grep KAFFEINE_MAJOR_VERSION CMakeLists.txt)" == "" ]; then
0005   echo "Entering into the Kaffeine dir"
0006   cd kaffeine
0007 fi
0008 
0009 # not for production use
0010 
0011 sourcedir=$(pwd)
0012 
0013 cd ..
0014 
0015 rm -rf kaffeine_build
0016 git new-workdir $sourcedir kaffeine_build
0017 cd kaffeine_build
0018 
0019 rm -fr $sourcedir/install
0020 cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=$sourcedir/install -DSTRICT_BUILD=1 .
0021 make
0022 make install