projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d45b5e1)
Undo unintential change to FindCxxTest (#3240)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 30 Aug 2019 15:37:36 +0000 (10:37 -0500)
committerGitHub <noreply@github.com>
Fri, 30 Aug 2019 15:37:36 +0000 (10:37 -0500)
cmake/FindCxxTest.cmake patch | blob | history

diff --git a/cmake/FindCxxTest.cmake b/cmake/FindCxxTest.cmake
index 19fd7f88196e2a12d9611d31417ea1fd99666559..cd7aed70d5f96d3ec27c73ec82ab24a40796a4fe 100644 (file)
--- 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})