compile_new

   1 #!/bin/sh
   2 # Meant to be run at the top level
   3
   4 # Now run cmake
   5 buildDirectory=$1
   6 if [ ! -d "$buildDirectory" ]; then
   7   buildDirectory=$PWD/_build
   8   echo "Using default build directory : ${buildDirectory}"
   9 else
  10   shift
  11 fi
  12 cd $buildDirectory && make install $*
  13 exit $?