diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-23 22:02:45 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-23 22:02:45 +0000 |
commit | 1f2590541aa60f4b62b7c96659362ee4431d2d63 (patch) | |
tree | f169efa835d48ddaaff79389fa2ed94608e92e54 /src | |
parent | 88e588fdf712dcfa7f1ca185ee6e7b15305ba84b (diff) |
pcvc4 only built if --with-portfolio given to the configure script (Clark-requested change)
Diffstat (limited to 'src')
-rw-r--r-- | src/main/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am index ae7764e32..e6aa6b423 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -13,7 +13,7 @@ libmain_a_SOURCES = \ main.h \ util.cpp -if CVC4_HAS_THREADS +if CVC4_BUILD_PCVC4 bin_PROGRAMS += pcvc4 pcvc4_SOURCES = \ main.cpp \ |