no need to alter sudoers for bootcustom anymore
[myplc.git] / build.functions
1 # -*-Shell-script-*-
2 #
3 # Common functions for MyPLC build scripts (build_devel.sh and
4 # build.sh)
5 #
6 # Mark Huang <mlhuang@cs.princeton.edu>
7 # Copyright (C) 2006 The Trustees of Princeton University
8 #
9 # $Id$
10 #
11
12 PATH=/sbin:/bin:/usr/sbin:/usr/bin
13
14 # In both a normal CVS environment and a PlanetLab RPM
15 # build environment, all of our dependencies are checked out into
16 # directories at the same level as us.
17 if [ -d ../build ] ; then
18     PATH=$PATH:../build
19     srcdir=..
20 else
21     echo "Error: Could not find $(cd .. && pwd -P)/build/"
22     exit 1
23 fi
24
25 export PATH
26
27 . build.common
28
29 pl_process_fedora_options $@
30 shiftcount=$?
31 shift $shiftcount
32
33 # XXX Backwards compatibility with old myplc-devel environment
34 # We may be running inside a myplc-devel environment, which can
35 # override these defaults.
36 if [ -f /etc/planetlab/plc_config ] ; then
37     . /etc/planetlab/plc_config
38     [ ! -z "$PLC_DEVEL_FEDORA_RELEASE" ] && pl_FEDORA_RELEASE=$PLC_DEVEL_FEDORA_RELEASE
39     [ ! -z "$PLC_DEVEL_FEDORA_ARCH" ] && pl_FEDORA_ARCH=$PLC_DEVEL_FEDORA_ARCH
40     [ ! -z "$PLC_DEVEL_FEDORA_URL" ] && pl_FEDORA_URL=$PLC_DEVEL_FEDORA_URL
41 fi
42
43 # Do not tolerate errors
44 set -e
45
46 # Be verbose
47 set -x
48
49 # this is fragile, as the actual layout may vary from one mirror to the other
50 # however this should be in line with the layouts obtained 
51 # when running build/vbuild-fedora-mirror.sh
52
53 function yum_conf_fedora_core () {
54     BUILD_HOST=$1; shift
55     cat <<EOF
56 [base]
57 name=${pl_DISTRO_NAME} - base
58 baseurl=http://${BUILD_HOST}/fedora/linux/core/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/os/
59
60
61 [updates]
62 name=${pl_DISTRO_NAME} - updates
63 baseurl=http://${BUILD_HOST}/fedora/linux/core/updates/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
64
65
66 [extras]
67 name=${pl_DISTRO_NAME} - extras
68 baseurl=http://${BUILD_HOST}/fedora/linux/extras/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
69 EXTRAS
70 EOF
71 }
72
73 function yum_conf_fedora () {
74     BUILD_HOST=$1; shift
75     cat <<EOF
76 [base]
77 name=${pl_DISTRO_NAME} - base
78 baseurl=http://${BUILD_HOST}/fedora/linux/releases/${pl_DISTRO_RELEASE}/Everything/${pl_DISTRO_ARCH}/os/
79
80 [updates]
81 name=${pl_DISTRO_NAME} - base
82 baseurl=http://${BUILD_HOST}/fedora/linux/updates/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
83 EOF
84 }
85
86 function yum_conf_to_build_host () {
87    BUILD_HOST=$(hostname)
88
89            cat <<EOF
90 [main]
91 cachedir=/var/cache/yum
92 debuglevel=2
93 logfile=/var/log/yum.log
94 pkgpolicy=newest
95 distroverpkg=redhat-release
96 tolerant=1
97 exactarch=1
98 retries=10
99 obsoletes=1
100 gpgcheck=0
101 # Prevent yum-2.4 from loading additional repository definitions
102 # (e.g., from /etc/yum.repos.d/)
103 reposdir=/dev/null
104
105 EOF
106
107    case "$pl_DISTRO" in
108        Fedora)
109            if [ "${pl_DISTRO_RELEASE}" -le 6 ] ; then 
110                yum_conf_fedora_core $BUILD_HOST
111            else
112                yum_conf_fedora $BUILD_HOST
113            fi
114     ;;
115        *)
116            echo "$0: no support for tuning yum.conf on this distribution $pl_DISTRO"
117            exit 1
118            ;;
119    esac
120 }
121
122 # quick and dirty - might break anytime if docbook html output changes
123 function docbook_html_to_drupal () {
124     title=$1; shift
125     html=$1; shift
126     php=$1; shift
127
128     mkdir -p $(dirname $php)
129     if [ ! -f $html ] ; then
130         cat << __header_no_doc__ > $php
131 <?php
132 require_once 'plc_drupal.php';
133 drupal_set_title("$title - unavailable");
134 ?>
135 <p class='plc-warning'> Build-time error - could not locate documentation $html</p>
136 __header_no_doc__
137     else
138         # insert header, makes sure we have a trailing eol
139         (cat << __header_doc__ ; cat $html ) > $php
140 <?php
141 require_once 'plc_drupal.php';
142 drupal_set_title("$title");
143 ?>
144 __header_doc__
145         # ignore ed return status
146         set +e
147         # cuts off around the <body> </body>
148         # preserves the 4 first lines that we just added as a header
149         ed -s $php << __ed_script__
150 /BODY/
151 />/
152 s,><,<,
153 5,-d
154 $
155 ?/BODY?
156 s,><.*,>,
157 +
158 ;d
159 w
160 q
161 __ed_script__
162         set -e
163     fi
164 }