Remake

Remake is available on the TopBar Remake pull-down.

A record of the most advanced state of development reached by each construct is maintained by the system. If the status of any construct (or constructs) is changed (e.g. by editing it) then it is possible to restore the development to its most advanced state from its current state by use of the Remake facility. The Remake tool causes all the necessary tools to be applied to the appropriate constructs automatically until either an error is encountered or the most advanced state is restored.

Two choices are initially offered:

Remake all constructs
Remake construct(s)

Selection of the first produces a menu of jobs for all constructs in the development which should be carried out for a full remake; selection of the second produces a menu of constructs from which one or more may be selected, when a menu of jobs relating to those constructs is subsequently produced.

In both cases, the jobs presented depend on the current setting of the Remake Options; each of the following tools may be included in or excluded form the Remake:

POGenerator
AutoProver
ProofPrinter
DocumentMarkUp
Translator
Linker
ITFGenerator

In both cases, the list of jobs presented is pre-selected, and jobs may be de-selected in the usual way to enable a partial remake to be achieved.

Before the initial two choices are offered, however, if one or more constructs have been edited and the (saved) version in the SRC directory differs from that of the committed version in the CFG directory, the tool will, for each such file, prompt for committing before proceeding in the same manner as the Analyser. Accepting the commit option will have the same effect as that described for the CommitEdit tool.

A full on-line help listing is available in the Contents Page Also available in the form of a complete Index. Blogo