SET ( LIB_INSTALL_DIR "${CMAKE_INSTALL_PREFIX}/lib${LIB_SUFFIX}" )
ENDIF ( DEFINED LIB )
MESSAGE(STATUS "Libraries will be installed in ${LIB_INSTALL_DIR}" )
+SET( BIN_INSTALL_DIR "${CMAKE_INSTALL_PREFIX}/bin" )
####################################################################
# CONFIGURATION #
FIND_PACKAGE(Db43 REQUIRED)
FIND_PACKAGE(EXPAT REQUIRED)
-FIND_PACKAGE(Ruby REQUIRED)
+#FIND_PACKAGE(Ruby REQUIRED)
SET( PACKAGE "satsolver" )
SET( VERSION "${LIBSATSOLVER_MAJOR}.${LIBSATSOLVER_MINOR}.${LIBSATSOLVER_PATCH}" )
ADD_SUBDIRECTORY(src)
ADD_SUBDIRECTORY(tools)
-ADD_SUBDIRECTORY(testsuite)
+
+IF( EXISTS "${CMAKE_SOURCE_DIR}/testsuite" )
+ ADD_SUBDIRECTORY(testsuite)
+ENDIF( EXISTS "${CMAKE_SOURCE_DIR}/testsuite" )
IF ( NOT SWIG_EXECUTABLE )
MESSAGE( FATAL "SWIG not found." )