projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25cb880) | patch
today's build system fix: sometimes examples weren't built with "make examples";...
authorACSYS <cvc4-devel@cs.nyu.edu>
Fri, 26 Oct 2012 18:15:32 +0000 (18:15 +0000)
committerACSYS <cvc4-devel@cs.nyu.edu>
Fri, 26 Oct 2012 18:15:32 +0000 (18:15 +0000)
commitdbaaa9f285a2bcb5fd7a555e753968972b998f15
treecc402ad9d4233283af5cadffad40eadac9ec8748tree
parent25cb880b2e3cd3f3624f9c2ba399a2a50b4b2da7commit | diff
today's build system fix: sometimes examples weren't built with "make examples"; fixed
Makefile diff | blob | history