Next: , Up: The GPRconfig knowledge base   [Contents][Index]

3.2.6.1 General file format

The knowledge base is implemented as a set of XML files. None of these files has a special name, nor a special role. Instead, the user can freely create new files, and put them in the knowledge base directory, to contribute new knowledge.

The location of the knowledge base is $prefix/share/gprconfig, where $prefix is the directory in which GPRconfig was installed. Any file with extension .xml in this directory will be parsed automatically by GPRconfig at startup.

All files must have the following format:

<?xml version="1.0">
<gprconfig>
   …
</gprconfig>

The root tag must be <gprconfig>.

The remaining sections in this chapter will list the valid XML tags that can be used to replace the “…” code above. These tags can either all be placed in a single XML file, or split across several files.