- The src/ directory contains subdirectories defining all C++ classes (source and header) necessary to compile Conjecture. The src/Makefile is designed to automatically maintain all dependencies between files, and to ensure that a file is always compiled if any file it depends on is modified. It is important to note that the Makefile finds and compiles EVERY *.cc file in the entire directory hierarchy (i.e. all sub-directories are searched too). This means that you CANNOT create a "backup" or "old" directory within 'src/'; such code will be compiled and generate "multiple definition of" errors. Instead, backups and old directories MUST be put outside the 'src' directory hierarchy (usually in the parent directory of src, the root of the Conjecture directory hierarchy).
- Invoking Makefile targets in subdirectories of 'src/' usually delegate those same targets to the src/Makefile (and are applied to the 'src/Makefile' directory). This usually produces the desired behavior, but if it is doing something you don't expect for a particular target, bring it to everyones attention so we can address it.
Generated on Mon Jun 12 20:27:16 2006 for Conjecture by
1.4.6