Difference between revisions of "Developer's Guide"
From CVC4
(Created page with '=Autotools=') |
|||
| Line 1: | Line 1: | ||
| − | = | + | =Source tree layout= |
| + | |||
| + | =Coding guidelines= | ||
| + | |||
| + | =Use of autotools: automake, autoconf, autoheader, libtool= | ||
