Difference between revisions of "Developer's Guide"
From CVC4
| Line 1: | Line 1: | ||
=Source tree layout= | =Source tree layout= | ||
| + | |||
| + | * config | ||
| + | * contrib | ||
| + | * doc | ||
| + | * src | ||
| + | ** core | ||
| + | ** include | ||
| + | ** parser | ||
| + | ** sat | ||
=Coding guidelines= | =Coding guidelines= | ||
=Use of autotools: automake, autoconf, autoheader, libtool= | =Use of autotools: automake, autoconf, autoheader, libtool= | ||
Revision as of 16:09, 16 November 2009
Source tree layout
- config
- contrib
- doc
- src
- core
- include
- parser
- sat
