CMakeLists.txt

   1 PROJECT(satsolver)
   2
   3 cmake_minimum_required(VERSION 2.4)
   4
   5 #IF(${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERISION} GREATER 2.4)
   6 #ENDIF(${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERISION} GREATER 2.4)
   7
   8 if(COMMAND cmake_policy)
   9   # escape preprocessor, see -DVERSION below
  10   cmake_policy(SET CMP0005 OLD)
  11 endif(COMMAND cmake_policy)
  12
  13 # Library
  14 IF ( DEFINED LIB )
  15   SET ( LIB_INSTALL_DIR "${CMAKE_INSTALL_PREFIX}/${LIB}" )
  16 ELSE ( DEFINED  LIB )
  17   IF (CMAKE_SIZEOF_VOID_P MATCHES "8")
  18     SET( LIB_SUFFIX "64" )
  19   ENDIF(CMAKE_SIZEOF_VOID_P MATCHES "8")
  20   SET ( LIB_INSTALL_DIR "${CMAKE_INSTALL_PREFIX}/lib${LIB_SUFFIX}" )
  21 ENDIF ( DEFINED  LIB )
  22 MESSAGE(STATUS "Libraries will be installed in ${LIB_INSTALL_DIR}" )
  23 SET( BIN_INSTALL_DIR "${CMAKE_INSTALL_PREFIX}/bin" )
  24
  25 ####################################################################
  26 # CONFIGURATION                                                    #
  27 ####################################################################
  28
  29 # where to look first for cmake modules, before ${CMAKE_ROOT}/Modules/ is checked
  30 SET( CMAKE_MODULE_PATH ${CMAKE_SOURCE_DIR}/cmake/modules )
  31
  32 INCLUDE( ${CMAKE_SOURCE_DIR}/VERSION.cmake )
  33
  34 FIND_PACKAGE(EXPAT REQUIRED)
  35 FIND_PACKAGE(Check REQUIRED)
  36 FIND_PACKAGE(ZLIB REQUIRED)
  37
  38 IF ( FEDORA )
  39 MESSAGE(STATUS "Building for Fedora")
  40 ADD_DEFINITIONS( -DFEDORA )
  41 ENDIF ( FEDORA)
  42
  43 IF ( MULTI_SEMANTICS )
  44 MESSAGE(STATUS "Enabling multi dist support")
  45 ADD_DEFINITIONS( -DMULTI_SEMANTICS)
  46 ENDIF ( MULTI_SEMANTICS )
  47
  48 FIND_LIBRARY(RPMDB_LIBRARY NAMES rpmdb)
  49 IF ( NOT RPMDB_LIBRARY )
  50 FIND_LIBRARY(RPMDB_LIBRARY NAMES rpm)
  51 ENDIF( NOT RPMDB_LIBRARY )
  52
  53 SET( PACKAGE "satsolver" )
  54 SET( VERSION "${LIBSATSOLVER_MAJOR}.${LIBSATSOLVER_MINOR}.${LIBSATSOLVER_PATCH}" )
  55
  56 ADD_DEFINITIONS( -D_FILE_OFFSET_BITS=64 )
  57 ADD_DEFINITIONS( -DVERSION=\\\"${VERSION}\\\" )
  58 CONFIGURE_FILE( src/satversion.h.in src/satversion.h )
  59
  60 SET(CPACK_PACKAGE_DESCRIPTION_SUMMARY "SAT Solver library")
  61 SET(CPACK_PACKAGE_VENDOR "Novell Inc.")
  62 SET(CPACK_PACKAGE_VERSION_MAJOR ${LIBSATSOLVER_MAJOR})
  63 SET(CPACK_PACKAGE_VERSION_MINOR ${LIBSATSOLVER_MINOR})
  64 SET(CPACK_PACKAGE_VERSION_PATCH ${LIBSATSOLVER_PATCH})
  65 SET(CPACK_GENERATOR "TBZ2")
  66 SET(CPACK_SOURCE_GENERATOR "TBZ2")
  67 SET(CPACK_SOURCE_PACKAGE_FILE_NAME "${PACKAGE}-${VERSION}")
  68 SET(CPACK_SOURCE_TOPLEVEL_TAG "Linux-Source:")
  69 SET(CPACK_TOPLEVEL_TAG "Linux-Source:")
  70
  71 # The following components are regex's to match anywhere (unless anchored)
  72 # in absolute path + filename to find files or directories to be excluded
  73 # from source tarball.
  74 SET (CPACK_SOURCE_IGNORE_FILES
  75 #svn files
  76 "\\\\.svn/"
  77 "\\\\.cvsignore$"
  78 # temporary files
  79 "\\\\.swp$"
  80 # backup files
  81 "~$"
  82 # eclipse files
  83 "\\\\.cdtproject$"
  84 "\\\\.cproject$"
  85 "\\\\.project$"
  86 "\\\\.settings/"
  87 # others
  88 "\\\\.#"
  89 "/#"
  90 "/build/"
  91 "/_build/"
  92 "/\\\\.git/"
  93 # used before
  94 "/CVS/"
  95 "/\\\\.libs/"
  96 "/\\\\.deps/"
  97 "\\\\.o$"
  98 "\\\\.lo$"
  99 "\\\\.la$"
 100 "Makefile$"
 101 "Makefile\\\\.in$"
 102 # cmake cache files
 103 "DartConfiguration.tcl$"
 104 "CMakeCache.txt"
 105 "CMakeFiles"
 106 "cmake_install.cmake$"
 107 "CMakeLists.txt.auto$"
 108 "CTestTestfile.cmake"
 109 "CPackConfig.cmake$"
 110 "CPackSourceConfig.cmake$"
 111 "libsatsolver.spec$"
 112 )
 113
 114 INCLUDE(CPack)
 115
 116 ####################################################################
 117
 118 SET( DOC_INSTALL_DIR
 119    "${CMAKE_INSTALL_PREFIX}/share/doc/packages/${PACKAGE}"
 120    CACHE PATH "The install dir for documentation (default prefix/share/doc/packages/${PACKAGE})"
 121    FORCE
 122 )
 123
 124 ####################################################################
 125 # INCLUDES                                                         #
 126 ####################################################################
 127
 128 #SET (CMAKE_INCLUDE_DIRECTORIES_BEFORE ON)
 129 INCLUDE_DIRECTORIES( ${CMAKE_CURRENT_SOURCE_DIR} ${CMAKE_SOURCE_DIR} ${CMAKE_SOURCE_DIR}/src ${CMAKE_SOURCE_DIR}/ext ${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_BINARY_DIR}/src SYSTEM )
 130
 131 ####################################################################
 132
 133 MESSAGE(STATUS "Looking modules in ${CMAKE_MODULE_PATH}")
 134
 135 set ( CMAKE_C_FLAGS     "${CMAKE_C_FLAGS} -Werror -Wall" )
 136 set ( CMAKE_C_FLAGS_RELEASE "${CMAKE_C_FLAGS} -g -O3" )
 137 set ( CMAKE_C_FLAGS_DEBUG     "${CMAKE_C_FLAGS} -g3 -O0" )
 138
 139 ADD_SUBDIRECTORY(src)
 140 ADD_SUBDIRECTORY(ext)
 141 ADD_SUBDIRECTORY(tools)
 142 ADD_SUBDIRECTORY(applayer)
 143 ADD_SUBDIRECTORY(tests)
 144 ADD_SUBDIRECTORY(examples)
 145 ADD_SUBDIRECTORY(doc)
 146
 147 FIND_PACKAGE(SWIG)
 148
 149 IF ( SWIG_FOUND )
 150   ADD_SUBDIRECTORY(bindings)
 151 ELSE ( SWIG_FOUND )
 152  # for older version of swig/cmake
 153  FIND_PROGRAM(SWIG_EXECUTABLE
 154    NAMES swig-1.3 swig
 155   PATHS ${SWIG_DIR} ${SWIG_DIR}/.. ${SWIG_DIR}/../../bin /usr/bin /usr/local/bin ${CMAKE_INSTALL_PREFIX}/bin
 156  )
 157  IF ( SWIG_EXECUTABLE )
 158   ADD_SUBDIRECTORY(bindings)
 159  ENDIF ( SWIG_EXECUTABLE )
 160 ENDIF ( SWIG_FOUND )
 161
 162 MESSAGE(STATUS "version: ${VERSION}")
 163
 164 ####################################################################
 165 # RPM SPEC                                                         #
 166 ####################################################################
 167
 168 MACRO(SPECFILE)
 169   MESSAGE(STATUS "Writing spec file...")
 170   CONFIGURE_FILE(${CMAKE_SOURCE_DIR}/package/libsatsolver.spec.in ${CMAKE_BINARY_DIR}/package/libsatsolver.spec @ONLY)
 171   #MESSAGE(STATUS "I hate you rpm-lint...!!!")
 172   #CONFIGURE_FILE(${CMAKE_SOURCE_DIR}/package/libsatsolver-rpmlint.cmake ${CMAKE_BINARY_DIR}/package/libsatsolver-rpmlintrc @ONLY)
 173 ENDMACRO(SPECFILE)
 174
 175 SPECFILE()
 176
 177 ADD_CUSTOM_TARGET( svncheck
 178   COMMAND cd $(CMAKE_SOURCE_DIR) && ! LC_ALL=C svn status --show-updates --quiet | grep -v '^Status against revision'
 179 )
 180
 181 SET( AUTOBUILD_COMMAND
 182   COMMAND ${CMAKE_COMMAND} -E remove ${CMAKE_BINARY_DIR}/package/*.tar.bz2
 183   COMMAND mkdir -p _CPack_Packages/${CPACK_TOPLEVEL_TAG}
 184   COMMAND ${CMAKE_MAKE_PROGRAM} package_source
 185   COMMAND ${CMAKE_COMMAND} -E copy ${CPACK_SOURCE_PACKAGE_FILE_NAME}.tar.bz2 ${CMAKE_BINARY_DIR}/package
 186   COMMAND ${CMAKE_COMMAND} -E remove ${CPACK_SOURCE_PACKAGE_FILE_NAME}.tar.bz2
 187   COMMAND ${CMAKE_COMMAND} -E copy "${CMAKE_SOURCE_DIR}/package/libsatsolver.changes" "${CMAKE_BINARY_DIR}/package/libsatsolver.changes"
 188 )
 189
 190 ADD_CUSTOM_TARGET( srcpackage_local
 191   ${AUTOBUILD_COMMAND}
 192 )
 193
 194 ADD_CUSTOM_TARGET( srcpackage
 195   COMMAND ${CMAKE_MAKE_PROGRAM} svncheck
 196   ${AUTOBUILD_COMMAND}
 197 )
 198
 199 INCLUDE(CTest)
 200 ENABLE_TESTING()
 201
 202