From: Tim King <tim.king@imag.fr>
Date: Fri, 16 Jan 2015 10:31:33 +0000 (+0100)
Subject: Adding an additional search path to configure.ac for cxxtestgen to reflect the cxxtes... 
X-Git-Tag: cvc5-1.0.0~6437
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc38452fb64b58c96c73b8bcab7d89fc86b0ecdd;p=cvc5.git

Adding an additional search path to configure.ac for cxxtestgen to reflect the cxxtest git repository.
---

diff --git a/configure.ac b/configure.ac
index d83293079..672b70d6d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -902,6 +902,11 @@ fi
 if test -z "$CXXTESTGEN"; then
   AC_PATH_PROG(CXXTESTGEN, cxxtestgen, [], [$CXXTEST:$PATH])
 fi
+# The latest version of cxxtest distributed from the git repository places
+# cxxtest under <cxxtest-root>/bin/cxxtest
+if test -z "$CXXTESTGEN"; then
+  AC_PATH_PROG(CXXTESTGEN, cxxtestgen, [], [$CXXTEST/bin:$PATH])
+fi
 if test "$enable_unit_testing" = "no"; then
   AC_MSG_NOTICE([unit tests disabled by user request.])
   CXXTESTGEN=