From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 30 Aug 2019 15:37:36 +0000 (-0500)
Subject: Undo unintential change to FindCxxTest (#3240)
X-Git-Tag: cvc5-1.0.0~3985
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=375731ea23fa7d139f1b0bdf6bed24d83c152e67;p=cvc5.git

Undo unintential change to FindCxxTest (#3240)
---

diff --git a/cmake/FindCxxTest.cmake b/cmake/FindCxxTest.cmake
index 19fd7f881..cd7aed70d 100644
--- a/cmake/FindCxxTest.cmake
+++ b/cmake/FindCxxTest.cmake
@@ -26,7 +26,7 @@ endif()
 
 if(PYTHONINTERP_FOUND AND CxxTest_PYTHON_TESTGEN_EXECUTABLE)
   set(CxxTest_TESTGEN_EXECUTABLE ${CxxTest_PYTHON_TESTGEN_EXECUTABLE})
-  # set(CxxTest_TESTGEN_INTERPRETER ${PYTHON_EXECUTABLE})
+  set(CxxTest_TESTGEN_INTERPRETER ${PYTHON_EXECUTABLE})
 elseif(PERL_FOUND AND CxxTest_PERL_TESTGEN_EXECUTABLE)
   set(CxxTest_TESTGEN_EXECUTABLE ${CxxTest_PERL_TESTGEN_EXECUTABLE})
   set(CxxTest_TESTGEN_INTERPRETER ${PERL_EXECUTABLE})