# CMakeLists.txt has to be located in the project folder and cmake has to be
# executed from 'project/build' with 'cmake ../'.
cmake_minimum_required(VERSION 2.6)
find_package(Rock)
rock_init(factpp 1.6.3)
rock_doxygen()
set(PROJECT_DESCRIPTION "FaCT++ an OWL-DL Reasoner")

add_custom_target(all ALL COMMAND ${CMAKE_MAKE_PROGRAM} -C
${CMAKE_CURRENT_SOURCE_DIR})
add_custom_target(clean COMMAND ${CMAKE_MAKE_PROGRAM} -C
${CMAKE_CURRENT_SOURCE_DIR} clean)

set(TARGET_NAME ${PROJECT_NAME})
set(LIBRARY_NAME "fact")
rock_prepare_pkgconfig(${TARGET_NAME} ON)

install(DIRECTORY Kernel/ FaCT++.C/
    DESTINATION include/${PROJECT_NAME}
    PATTERN *.h
)

install(FILES Kernel/obj/libKernel.a
    FaCT++.C/obj/libfact.so
    DESTINATION lib/
)
