Merge: doc: fixed some typos and other misc. corrections
[nit.git] / 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 if [ ! -f "$dir/Makefile" ]; then
36 echo "no makefile"
37 return
38 fi
39 ../misc/jenkins/trymake.sh "$name" "$dir" "$@"
40 }
41
42 list=
43 if [ -f "$1" ]; then
44 list=$1
45 shift
46 fi
47
48 cmd="$1"
49 shift
50
51 process_list() {
52 while read -r repo name; do
53 [[ "$repo" = "#"* ]] && continue
54 [[ "$repo" = "" ]] && continue
55 [[ "$name" = "" ]] && name=`basename "$repo" .git`
56 dir="oot/$name"
57 case "$cmd" in
58 list) echo "$name";;
59 update) update_oot;;
60 trymake) trymake_oot "$@";;
61 pre-build) trymake_oot pre-build;;
62 all) update_oot; trymake_oot pre-build all check;;
63 ""|help) echo "usage: oot.sh [list] command [arg...]"; exit 0;;
64 *) echo >&2 "unknown command: $cmd"; exit 1;;
65 esac
66 done
67 }
68
69 if [ -n "$list" ]; then
70 process_list < "$list"
71 else
72 process_list < oot.txt
73 process_list < nitpm_packages.txt
74 fi