projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b0db75) | patch
build options sources into distribution tarballs (in the same way that antlr grammars...
authorMorgan Deters <mdeters@gmail.com>
Fri, 26 Oct 2012 20:49:57 +0000 (20:49 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 26 Oct 2012 20:49:57 +0000 (20:49 +0000)
commit080d8353c6d0704885c2e491122c8e337542b0e8
tree643e69593b6b9bf13e149b79d964ec4b6ee84776tree
parent3b0db7521b3b71425d5a726285a4179b0b7b33facommit | diff
build options sources into distribution tarballs (in the same way that antlr grammars are pre-generated for tarballs).  this speeds up user builds by not requiring them to run the mkoptions script (unless they change an options meta-file).  i've tested this, but let me know if there are any problems you encounter.
src/options/Makefile.am diff | blob | history