contrib/oot.sh

   1 #!/bin/bash
   2 # This file is part of NIT ( http://www.nitlanguage.org ).
   3 #
   4 # Licensed under the Apache License, Version 2.0 (the "License");
   5 # you may not use this file except in compliance with the License.
   6 # You may obtain a copy of the License at
   7 #
   8 #     http://www.apache.org/licenses/LICENSE-2.0
   9 #
  10 # Unless required by applicable law or agreed to in writing, software
  11 # distributed under the License is distributed on an "AS IS" BASIS,
  12 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13 # See the License for the specific language governing permissions and
  14 # limitations under the License.
  15
  16 # Update out-of-tree projects from oot.txt
  17 # Each one is cloned in the oot/ directory.
  18
  19
  20 # Update the directory
  21 update_oot() {
  22         if test -d "$dir"; then
  23                 echo "$name: git pull"
  24                 ../misc/jenkins/unitrun.sh "cmd-$name-remote" git --work-tree="$PWD/$dir" --git-dir="$PWD/$dir/.git" remote set-url origin "$repo"
  25                 ../misc/jenkins/unitrun.sh "cmd-$name-pull" git --work-tree="$PWD/$dir" --git-dir="$PWD/$dir/.git" pull -f
  26         else
  27                 echo "$name: git clone"
  28                 ../misc/jenkins/unitrun.sh "cmd-$name-clone" git clone "$repo" "$dir"
  29         fi
  30 }
  31
  32 # Run trymake with arguments
  33 trymake_oot() {
  34         echo "$name: trymake $@"
  35         ../misc/jenkins/trymake.sh "$name" "$dir" "$@"
  36 }
  37
  38 cmd="$1"
  39 shift
  40
  41 while read -r repo name; do
  42         [[ "$repo" = "#"* ]] && continue
  43         [[ "$name" = "" ]] && continue
  44         dir="oot/$name"
  45         case "$cmd" in
  46                 list) echo "$name";;
  47                 update) update_oot;;
  48                 trymake) trymake_oot "$@";;
  49                 pre-build) trymake_oot pre-build;;
  50                 all) update_oot; trymake_oot pre-build all check;;
  51                 ""|help) echo "usage: oot.sh command [arg...]"; exit 0;;
  52                 *) echo >&2 "unknown command: $cmd"; exit 1;;
  53         esac
  54 done < oot.txt