3 # Common functions for MyPLC build scripts (build_devel.sh and
6 # Mark Huang <mlhuang@cs.princeton.edu>
7 # Copyright (C) 2006 The Trustees of Princeton University
12 PATH=/sbin:/bin:/usr/sbin:/usr/bin
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
21 echo "Error: Could not find $(cd .. && pwd -P)/build/"
29 pl_process_fedora_options $@
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
43 # Do not tolerate errors
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
53 function yum_conf_fedora_core () {
57 name=${pl_DISTRO_NAME} - base
58 baseurl=http://${BUILD_HOST}/fedora/linux/core/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/os/
62 name=${pl_DISTRO_NAME} - updates
63 baseurl=http://${BUILD_HOST}/fedora/linux/core/updates/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
67 name=${pl_DISTRO_NAME} - extras
68 baseurl=http://${BUILD_HOST}/fedora/linux/extras/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
73 function yum_conf_fedora () {
77 name=${pl_DISTRO_NAME} - base
78 baseurl=http://${BUILD_HOST}/fedora/linux/releases/${pl_DISTRO_RELEASE}/Everything/${pl_DISTRO_ARCH}/os/
81 name=${pl_DISTRO_NAME} - base
82 baseurl=http://${BUILD_HOST}/fedora/linux/updates/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
86 function yum_conf_to_build_host () {
87 BUILD_HOST=$(hostname)
91 cachedir=/var/cache/yum
93 logfile=/var/log/yum.log
95 distroverpkg=redhat-release
101 # Prevent yum-2.4 from loading additional repository definitions
102 # (e.g., from /etc/yum.repos.d/)
109 if [ "${pl_DISTRO_RELEASE}" -le 6 ] ; then
110 yum_conf_fedora_core $BUILD_HOST
112 yum_conf_fedora $BUILD_HOST
116 echo "$0: no support for tuning yum.conf on this distribution $pl_DISTRO"
122 # quick and dirty - might break anytime if docbook html output changes
123 function docbook_html_to_drupal () {
128 mkdir -p $(dirname $php)
129 if [ ! -f $html ] ; then
130 cat << __header_no_doc__ > $php
132 require_once 'plc_drupal.php';
133 drupal_set_title("$title - unavailable");
135 <p class='plc-warning'> Build-time error - could not locate documentation $html</p>
138 # insert header, makes sure we have a trailing eol
139 (cat << __header_doc__ ; cat $html ) > $php
141 require_once 'plc_drupal.php';
142 drupal_set_title("$title");
145 # ignore ed return status
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__