NAME
ptclean - clean up the parameterized types database
SYNOPSIS
ptclean
DESCRIPTION
ptclean removes all the data from the default templates
database, except the Template.opt file, which you may have
modified. This database, currently, a subdirectory called
Templates.DB, is used to store parameterized type (template)
instantiations. Since templates are instantiated automati-
cally by the compiler, changes in your program can render
some already-instantiated templates superfluous, but the
compiler cannot efficiently verify which instantiations are
not currently used. So you can use the ptclean command to
remove all the instantiations, temporary files, and depen-
dency files from the database. One reasonable way to use
this command is as one of the commands executed by the
clean: target in your Makefile.
FILES
Templates.DB The default database (directory) of
template instantiations
Templates.DB/Template.opt
Instantiation options file, the "map-
file"
Templates.DB/*.o Template instantiation files
Templates.DB/*.state Files that keep track of dependencies
Templates.DB/*.system Auxiliary dependency and map files
Templates.DB/*.promise Auxiliary dependency and map files
Templates.DB/*.lock Database lock files
Templates.DB/*.module Auxiliary dependency files
LIMITATIONS
ptclean cannot clean up any alternate template databases.