devops/install-deps

   1 #!/bin/bash
   2
   3 DIR=$1
   4 DEPS_DIR=${DIR}/deps
   5
   6 function clone_or_update() {
   7     REPO=$1
   8     echo "Checking repo ${REPO}"
   9     # strip only dir name from URL
  10     DIR=${REPO##*/}
  11     # strip the remaining '.git' suffix
  12     RAW_DIR=${DIR%.*}
  13     if [ -d "${RAW_DIR}" ]; then
  14         pushd ${RAW_DIR}
  15         git pull
  16         popd ..
  17     else
  18         git clone "$@"
  19     fi
  20 }
  21
  22 if [ ! -d "${DEPS_DIR}" ]; then
  23     mkdir ${DIR}/deps
  24 fi
  25
  26 cd ${DIR}/deps
  27
  28 clone_or_update https://gitlab.iscpif.fr/gargantext/clustering-louvain.git
  29 clone_or_update https://github.com/np/servant-job.git
  30 clone_or_update https://github.com/np/patches-map
  31 clone_or_update https://gitlab.com/npouillard/patches-class.git
  32 clone_or_update https://github.com/delanoe/haskell-opaleye
  33 clone_or_update https://github.com/delanoe/hsparql -b next --single-branch