ptclean(1)

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 automatically 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 dependency 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 "mapfile"

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.