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 function yum_conf_to_build_host () {
50 BUILD_HOST=$(hostname)
53 cachedir=/var/cache/yum
55 logfile=/var/log/yum.log
57 distroverpkg=redhat-release
63 # Prevent yum-2.4 from loading additional repository definitions
64 # (e.g., from /etc/yum.repos.d/)
68 name=Fedora Core 4 - i386 - base
69 baseurl=http://${BUILD_HOST}/fedora/linux/core/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/os/
73 name=Fedora Core 4 - i386 - updates
74 baseurl=http://${BUILD_HOST}/fedora/linux/core/updates/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
76 $(if [ "${pl_DISTRO_RELEASE}" -le 6 ] ; then cat << EXTRAS
78 name=Fedora Core 4 - i386 - extras
79 baseurl=http://${BUILD_HOST}/fedora/linux/extras/${pl_DISTRO_RELEASE}/${pl_DISTRO_ARCH}/
86 function sudoers_bootcustom_apache () {
88 User_Alias WWW = %apache,%root
89 Cmnd_Alias BOOTCUSTOM = /usr/share/bootcd/bootcustom.sh
90 WWW ALL = NOPASSWD: BOOTCUSTOM
94 # quick and dirty - might break anytime if docbook html output changes
95 function docbook_html_to_drupal () {
100 mkdir -p $(dirname $php)
101 if [ ! -f $html ] ; then
102 cat << __header_no_doc__ > $php
104 require_once 'plc_drupal.php';
105 drupal_set_title("$title - unavailable");
107 <p class='plc-warning'> Build-time error - could not locate documentation $html</p>
110 # insert header, makes sure we have a trailing eol
111 (cat << __header_doc__ ; cat $html ) > $php
113 require_once 'plc_drupal.php';
114 drupal_set_title("$title");
117 # ignore ed return status
119 # cuts off around the <body> </body>
120 # preserves the 4 first lines that we just added as a header
121 ed -s $php << __ed_script__