1 <?xml version="1.0" encoding="utf-8"?>
4 Default PLC build environment configuration file
6 Mark Huang <mlhuang@cs.princeton.edu>
7 Copyright (C) 2006 The Trustees of Princeton University
12 <!DOCTYPE configuration PUBLIC "-//PlanetLab Central//DTD PLC configuration//EN" "plc_config.dtd">
16 <category id="plc_devel">
17 <name>Build Environment</name>
18 <description>These variables control the behavior of the
19 PlanetLab build environment.</description>
22 <variable id="fedora_release" type="string">
23 <name>Fedora Core Release Version</name>
25 <description>Version number of Fedora Core upon which to
26 base the build environment. Warning: Currently, only Fedora
27 Core 4 is supported.</description>
30 <variable id="fedora_arch" type="string">
31 <name>Fedora Core Base Architecture</name>
33 <description>Base architecture of the build
34 environment. Warning: Currently, only i386 is
35 supported.</description>
38 <variable id="fedora_url" type="string">
39 <name>Fedora Core Mirror URL</name>
40 <value>file:///data/fedora</value>
41 <description>Fedora Core mirror from which to install
42 filesystems.</description>
45 <variable id="cvsroot" type="string">
48 <description>CVSROOT to use when checking out code.</description>
51 <variable id="bootstrap" type="boolean">
52 <name>Bootstrap Build</name>
54 <description>Controls whether MyPLC should be built inside
55 of its own development environment.</description>
62 <!-- deprecated - not used anymore - use .lst files instead -->