A Tiny MAKE System
A C++ program for a very basic make system. The program demonstrates the
use of the C++ classes, the extension of these classes by user defined operations,
these are generated from VDM signatures. It also shows, how system routines can be
integrated into the application with the extern implementation for maps
The Sources