projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88e588f) | patch
pcvc4 only built if --with-portfolio given to the configure script (Clark-requested...
authorMorgan Deters <mdeters@gmail.com>
Thu, 23 Feb 2012 22:02:45 +0000 (22:02 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 23 Feb 2012 22:02:45 +0000 (22:02 +0000)
commit1f2590541aa60f4b62b7c96659362ee4431d2d63
treef169efa835d48ddaaff79389fa2ed94608e92e54tree
parent88e588fdf712dcfa7f1ca185ee6e7b15305ba84bcommit | diff
pcvc4 only built if --with-portfolio given to the configure script (Clark-requested change)
configure.ac diff | blob | history
src/main/Makefile.am diff | blob | history