From 953c83494ae17f5d07d3f148ef69cbdb07eb747a Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 29 Oct 2011 18:22:38 +0000
Subject: support for proof regressions in other parts of the test tree

---
 test/regress/regress2/Makefile.am | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test/regress/regress2')

diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am
index 010b2b0d3..8a17bf6b2 100644
--- a/test/regress/regress2/Makefile.am
+++ b/test/regress/regress2/Makefile.am
@@ -1,6 +1,11 @@
 SUBDIRS = .
 
+if PROOF_REGRESSIONS
+TESTS_ENVIRONMENT = LFSC="$(LFSC) $(LFSCARGS)" @srcdir@/../run_regression --proof @top_builddir@/src/main/cvc4
+else
 TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/src/main/cvc4
+endif
+
 MAKEFLAGS = -k
 
 # These are run for all build profiles.
-- 
cgit v1.2.3