CMakeLists.txt

#
#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
#   All rights reserved.
#
#   Developed by: Philipp Paulweber et al.
#   <https://github.com/casm-lang/casmd/graphs/contributors>
#
#   This file is part of casmd.
#
#   casmd is free software: you can redistribute it and/or modify
#   it under the terms of the GNU General Public License as published by
#   the Free Software Foundation, either version 3 of the License, or
#   (at your option) any later version.
#
#   casmd is distributed in the hope that it will be useful,
#   but WITHOUT ANY WARRANTY; without even the implied warranty of
#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
#   GNU General Public License for more details.
#
#   You should have received a copy of the GNU General Public License
#   along with casmd. If not, see <http://www.gnu.org/licenses/>.
#

set( PROJECT casmd )

cmake_minimum_required( VERSION ${CMAKE_VERSION} )

project( ${PROJECT} LANGUAGES CXX )
set( CMAKE_CXX_STANDARD 14 )
set( CMAKE_CXX_EXTENSIONS OFF )
set( CMAKE_VERSION 3.2 )
set( CMAKE_MODULE_PATH ${${PROJECT}_SOURCE_DIR}/.cmake )
include( ${CMAKE_CONFIG_PATH}/LibPackage.cmake )

package_git( ${PROJECT} )
package_git_submodule( libstdhl   master REQUIRED obj   ../../lib/stdhl   ../stdhl   lib/stdhl   )
package_git_submodule( libpass    master REQUIRED obj   ../../lib/pass    ../pass    lib/pass    )
package_git_submodule( libtptp    master REQUIRED obj   ../../lib/tptp    ../tptp    lib/tptp    )
package_git_submodule( libcasm-ir master REQUIRED obj   ../../lib/casm-ir ../casm-ir lib/casm-ir )
package_git_submodule( libcasm-fe master REQUIRED obj   ../../lib/casm-fe ../casm-fe lib/casm-fe )
package_git_submodule( libcasm-tc master REQUIRED obj   ../../lib/casm-tc ../casm-tc lib/casm-tc )
package_git_submodule( libgtest   master REQUIRED build ../../lib/gtest   ../gtest   lib/gtest   )
package_git_submodule( libhayai   master REQUIRED build ../../lib/hayai   ../hayai   lib/hayai   )
package_git_submodule( libz3      master REQUIRED build ../../lib/z3      ../z3      lib/z3      )
package_git_deps(
  libgtest>libstdhl
  libhayai>libstdhl
  libstdhl>libpass
  libpass>libtptp
  libz3>libtptp
  libtptp>libcasm-ir
  libcasm-ir>libcasm-fe
  libcasm-fe>libcasm-tc
  )

find_package( Threads REQUIRED )

include( ECMGenerateHeaders )
include( FeatureSummary )
include( GenerateExportHeader )
include( CPack )

add_subdirectory( src )
add_subdirectory( etc
  EXCLUDE_FROM_ALL
  )

#
#
# executable
#

add_executable( ${PROJECT}
  $<TARGET_OBJECTS:${PROJECT}-cpp>
  )

if( CMAKE_BUILD_TYPE EQUAL "RELEASE" )
  set( PROJECT_EXE_FLAGS "-static" )
endif()

if( APPLE )
  set( PROJECT_EXE_FLAGS "" )
endif()

if( ${LIBCASM_FE_FOUND} )
  target_link_libraries( ${PROJECT} PUBLIC ${PROJECT_EXE_FLAGS}
    ${LIBCASM_FE_ARCHIVE}
    ${LIBCASM_IR_ARCHIVE}
    ${LIBTPTP_ARCHIVE}
    ${LIBPASS_ARCHIVE}
    ${LIBSTDHL_ARCHIVE}
    ${LIBZ3_ARCHIVE}
    Threads::Threads
    )

  if( WIN32 )
    target_link_libraries( ${PROJECT} PUBLIC
      ws2_32
      gomp
      )
  endif()
endif()

set( ${PROJECT}_VERSION ${GIT_REVTAG} )
set_property( TARGET ${PROJECT} PROPERTY VERSION ${${PROJECT}_VERSION} )
set_property( TARGET ${PROJECT} PROPERTY PREFIX  "" )

#
#
# test
#

add_executable( ${PROJECT}-check
  EXCLUDE_FROM_ALL
  $<TARGET_OBJECTS:${PROJECT}-test>
  )

# set( PROJECT_LD_TEST "-Wl,--whole-archive ${LIBCASM_TC_TEST} -Wl,--no-whole-archive" )
# if( APPLE )
#   set( PROJECT_LD_TEST "-Wl,-force_load ${LIBCASM_TC_TEST}" )
# endif()

if( ${LIBCASM_TC_FOUND} )
  target_link_libraries( ${PROJECT}-check
    ${PROJECT_LD_TEST}
    ${LIBPASS_ARCHIVE}
    ${LIBSTDHL_ARCHIVE}
    ${LIBGTEST_LIBRARY}
    ${LIBGTEST_MAIN}
    Threads::Threads
    )
endif()

#
#
# benchmark
#

add_executable( ${PROJECT}-run
  EXCLUDE_FROM_ALL
  $<TARGET_OBJECTS:${PROJECT}-benchmark>
  )

# set( PROJECT_LD_BENCHMARK "-Wl,--whole-archive ${LIBCASM_TC_BENCHMARK} -Wl,--no-whole-archive" )
# if( APPLE )
#   set( PROJECT_LD_BENCHMARK "-Wl,-force_load ${LIBCASM_TC_BENCHMARK}" )
# endif()

if( ${LIBCASM_TC_FOUND} )
  target_link_libraries( ${PROJECT}-run
    ${PROJECT_LD_BENCHMARK}
    ${LIBPASS_ARCHIVE}
    ${LIBSTDHL_ARCHIVE}
    ${LIBHAYAI_LIBRARY}
    ${LIBGTEST_LIBRARY}
    Threads::Threads
    )
endif()

#
#
# install
#

install(
  TARGETS  ${PROJECT}
  EXPORT   ${PROJECT}Targets
  LIBRARY  DESTINATION lib
  ARCHIVE  DESTINATION lib
  RUNTIME  DESTINATION bin
  INCLUDES DESTINATION include
  )

# #
# #
# # cmake
# #

# install(
#   FILES
#     .cmake/Find${PROJECT}.cmake
#   DESTINATION
#     "share/cmake/Module/${PROJECT}"
#   )

#
#
# build features and checks
#

include( LibCompile )
compile_flags( CXX )
compile_check()

feature_summary( WHAT
  PACKAGES_NOT_FOUND
  DISABLED_FEATURES
  )