!!!
Directory Name:
devel
Introduction:
The /devel directory contains development utilities that are an assortment
of scripts, programs, and packages that we use to develop code.
You might consider these internal tools. They are made available
as part of the distribution because some of them are quite
powerful (
varmint,
tkdiff)
while others are used inside of other tools (check_code is invoked
when you run "make test"). Some of these tools (
dmalloc_run)
are never invoked directly and are used internally by some
software development tools (we invoke a memory-checking tool called
dmalloc through an interface provided in make that compiles and
runs a program using the dmalloc facility).
Example:
Since these utilities are non-standard and differ significantly from
one another, we don't provide any examples here. Please refer
to the individual tools for more information. Some, such as varmint,
have extensive user guides.
Utilities:
The following utilities (applications) can be found in the
/devel directory: