2 #---------------------------------*- sh -*-------------------------------------
4 # \\ / F ield | OpenFOAM: The Open Source CFD Toolbox
6 # \\ / A nd | Copyright (C) 1991-2010 OpenCFD Ltd.
8 #------------------------------------------------------------------------------
10 # This file is part of OpenFOAM.
12 # OpenFOAM is free software: you can redistribute it and/or modify it
13 # under the terms of the GNU General Public License as published by
14 # the Free Software Foundation, either version 3 of the License, or
15 # (at your option) any later version.
17 # OpenFOAM is distributed in the hope that it will be useful, but WITHOUT
18 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
22 # You should have received a copy of the GNU General Public License
23 # along with OpenFOAM. If not, see <http://www.gnu.org/licenses/>.
29 # Script to control distccd daemons. (distcc/distccd is a distributed
30 # C/C++ compilation frontend). Distccd daemons need to be running
31 # on all platforms one wants to build on. The platforms are specified
32 # in the DISTCC_HOSTS environment variable.
34 #------------------------------------------------------------------------------
38 echo "Usage : `basename $0` start|stop|list"
44 if [ ! "$DISTCC_HOSTS" ]; then
45 echo "`basename $0`: variable DISTCC_HOSTS not set."
46 echo "`basename $0`: please set DISTCC_HOSTS to the list of hosts to use."
47 echo "`basename $0`: the format is host1:port host2:port host3:port etc."
59 if [ "$1" = 'start' ]; then
61 grep -v '^#' /etc
/hosts |
awk '{print $1, $2 " "}' > ~
/filteredHosts.txt
64 for host in $DISTCC_HOSTS
66 machine
=`echo "$host" | awk -F: '{print $1}'`
67 iptest
=`echo "$machine" | sed -e 's/[0-9.]//g'`
68 if [ ! "$iptest" ]; then
69 # address only contained 0-9 and '.'. Probably ip address.
72 # address probably not ip address. Try searching /etc/hosts
73 ip
=`egrep " $machine " ~/filteredHosts.txt | awk '{print $1}'`
77 echo "$0 : host specifier $host either is not an ip address or cannot be found in /etc/hosts."
82 allowIPS
="$allowIPS --allow $ip"
84 echo "allowIPS=$allowIPS"
86 for host in $DISTCC_HOSTS
89 echo "Trying to start distccd on host $host ..."
91 machine
=`echo "$host" | awk -F: '{print $1}'`
92 port
=`echo "$host" | awk -F: '{print $2}'`
94 if [ "$machine" -a "$port" ]; then
95 #echo "Machine:$machine port:$port"
96 echo "distccd --daemon $allowIPS --port $port"' --jobs `egrep "^processor" /proc/cpuinfo | wc -l`'
97 $RSH $machine "distccd --verbose --daemon $allowIPS --port $port"' --jobs `egrep "^processor" /proc/cpuinfo | wc -l`'
99 echo "$0 : host specifier $host not in correct form machine:port."
105 elif [ "$1" = 'stop' ]; then
107 for host in $DISTCC_HOSTS
110 echo "Trying to stop all distccd on host $host ..."
112 machine
=`echo "$host" | awk -F: '{print $1}'`
114 $RSH $machine killall distccd
118 elif [ "$1" = 'list' ]; then
120 for host in $DISTCC_HOSTS
123 echo "Trying to find process distccd on host $host ..."
125 machine
=`echo "$host" | awk -F: '{print $1}'`
127 $RSH $machine "ps -ef | grep distccd | grep -v grep"
137 #------------------------------------------------------------------------------