projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62ff31b) | patch
some fixes for "make examples" and "make install-examples" when invoked from tarballs...
authorMorgan Deters <mdeters@gmail.com>
Tue, 23 Oct 2012 20:04:18 +0000 (20:04 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 23 Oct 2012 20:04:18 +0000 (20:04 +0000)
commitc19a568e646e977e5134598b1619a6b340561a21
tree26aaf021c347553b04251bbacbcf359de258728ftree
parent62ff31bde206239d7abc9bb66c658131d8138f62commit | diff
some fixes for "make examples" and "make install-examples" when invoked from tarballs (non-subversion-checkouts); should fix "INSTALL" failure we saw in last night's build email
Makefile diff | blob | history
Makefile.am diff | blob | history