make_debian.sh

   1
   2 # Find absolute path to ROOT_DIR
   3 export ROOT_DIR=$(pwd)/..
   4 export ROOT_DIR=`cd "${ROOT_DIR}";pwd`
   5
   6 SRC_DIR=${ROOT_DIR}/sources
   7
   8 export INST_ROOT=/misc/dn48/newgeom/common/SALOME-7.5.1_Debian-6.0
   9 source ${SRC_DIR}/linux_env.sh
  10 mkdir -p ${ROOT_DIR}/build-debian
  11 cd ${ROOT_DIR}/build-debian
  12
  13 CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=Release"
  14 CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_INSTALL_PREFIX:PATH=${ROOT_DIR}/install"
  15 CMAKE_ARGS="${CMAKE_ARGS} ${SRC_DIR}"
  16
  17 cmake -G "Unix Makefiles" ${CMAKE_ARGS}
  18 make
  19 make install