From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Fri, 28 Sep 2018 15:21:32 +0000 (-0700)
Subject: cmake: Only do Java tests when unit testing on (#2551)
X-Git-Tag: cvc5-1.0.0~4487
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8c9e1ce5939737bac95cf16f59e6fc7fc856940b;p=cvc5.git

cmake: Only do Java tests when unit testing on (#2551)

Right now, we are adding the Java tests even when we are not building
unit tests. This commit changes the build system to only add the Java
tests when unit tests are enabled. There are two reasons for this
change:

- building a production version of CVC4 should not require JUnit
- it seems more intuitive (to me at least) to disable JUnit tests when
  unit tests are disabled

This change also simplifies building the Java bindings in our homebrew
formula.
---

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index b85ecf9e7..a79e96c65 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -20,10 +20,10 @@ add_custom_target(check
 add_subdirectory(regress)
 add_subdirectory(system EXCLUDE_FROM_ALL)
 
-if(BUILD_BINDINGS_JAVA)
-  add_subdirectory(java)
-endif()
-
 if(ENABLE_UNIT_TESTING)
   add_subdirectory(unit EXCLUDE_FROM_ALL)
+
+  if(BUILD_BINDINGS_JAVA)
+    add_subdirectory(java)
+  endif()
 endif()