Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Export and install cmake targets #43

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Export and install cmake targets #43

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
7c25571
cmake: set and use PROJECT_VERSION
morxa Sep 21, 2021
d7dbab2
cmake: export cmake targets and config to allow find_package(golog++)
morxa Sep 21, 2021
cb2d95c
doc: add doxygen cmake target to build doxygen docs
morxa Sep 19, 2021
042b80f
cmake: only build doc if BUILD_DOC is set to true
morxa Sep 21, 2021
4888510
cmake: set include directories for install interface
morxa Sep 21, 2021
0c9b8c9
cmake: add include dir for build interface
morxa Sep 21, 2021
50d3043
cmake: require at least cmake 3.1
morxa Sep 21, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
64 changes: 47 additions & 17 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@
# along with golog++. If not, see <https://www.gnu.org/licenses/>.
###########################################################################

project(golog++)
cmake_minimum_required(VERSION 3.0)
cmake_minimum_required(VERSION 3.1)
project(golog++ VERSION 0.1.0)

include(CMakeDependentOption)
include(GNUInstallDirs)
Expand All @@ -34,6 +34,7 @@ pkg_check_modules(SWIPL "swipl")
option(BUILD_TAPTENC_SEMANTICS "Build the taptenc platform model semantics" OFF)
option(USE_LIBASAN "Enable the AddressSanitizer to detect memory management bugs" OFF)
option(BUILD_PARSER "Build the parser library" ON)
option(BUILD_DOC "Build doxygen documentation" OFF)
CMAKE_DEPENDENT_OPTION(DEBUG_PARSER "Enable debug output for the parser" OFF "BUILD_PARSER" OFF)
if (${ECLIPSE_FOUND})
option(BUILD_READYLOG_SEMANTICS "Build the readylog semantics (ECLiPSe Prolog)" ON)
Expand Down Expand Up @@ -68,10 +69,6 @@ endif(NOT CMAKE_BUILD_TYPE)
set(SEMANTICS_INSTALL_DIR ${CMAKE_INSTALL_DATAROOTDIR}/golog++/semantics)


set(GOLOGPP_VERSION 0.1.0)



######################################################################################
# The golog++ language metamodel: libgolog++.so
######################################################################################
Expand Down Expand Up @@ -125,9 +122,12 @@ set(INTERFACE_SRC
add_library(golog++ SHARED ${INTERFACE_SRC})
target_compile_options(golog++ PUBLIC -fPIC)
target_link_libraries (golog++ ${CMAKE_THREAD_LIBS_INIT})
set_property(TARGET golog++ PROPERTY SOVERSION ${GOLOGPP_VERSION})
set_property(TARGET golog++ PROPERTY SOVERSION ${PROJECT_VERSION})
target_compile_features(golog++ PUBLIC cxx_std_17)
install(TARGETS golog++ DESTINATION ${CMAKE_INSTALL_LIBDIR})
target_include_directories(golog++ PUBLIC
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/src>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}/golog++>)
install(TARGETS golog++ EXPORT golog++-targets DESTINATION ${CMAKE_INSTALL_LIBDIR})

install(FILES
src/model/model_element.h
Expand Down Expand Up @@ -236,12 +236,15 @@ if (${BUILD_PARSER})
)
add_library(parsegolog++ SHARED ${PARSER_SRC})
target_link_libraries(parsegolog++ golog++)
set_property(TARGET parsegolog++ PROPERTY SOVERSION ${GOLOGPP_VERSION})
set_property(TARGET parsegolog++ PROPERTY SOVERSION ${PROJECT_VERSION})
target_compile_options(parsegolog++ PRIVATE -Wno-undefined-func-template -O${OPTIMIZE_PARSER})
if (${DEBUG_PARSER})
target_compile_definitions(parsegolog++ PRIVATE -DBOOST_SPIRIT_DEBUG -DGOLOGPP_DEBUG_PARSER)
endif()
install(TARGETS parsegolog++ DESTINATION ${CMAKE_INSTALL_LIBDIR})
target_include_directories(parsegolog++ PUBLIC
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/src>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}/golog++>)
install(TARGETS parsegolog++ EXPORT golog++-targets DESTINATION ${CMAKE_INSTALL_LIBDIR})
install(FILES
src/parser/grammar.h
src/parser/parser.h
Expand Down Expand Up @@ -326,9 +329,12 @@ if (${BUILD_READYLOG_SEMANTICS})
-DSEMANTICS_INSTALL_DIR=\"${CMAKE_INSTALL_PREFIX}/${SEMANTICS_INSTALL_DIR}\"
)
target_include_directories(readylog++ PUBLIC ${ECLIPSE_INCLUDE_DIRS})
target_include_directories(readylog++ PUBLIC
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/src>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}/golog++>)
target_link_libraries(readylog++ golog++ ${ECLIPSE_LIBRARIES} stdc++fs)
set_property(TARGET readylog++ PROPERTY SOVERSION ${GOLOGPP_VERSION})
install(TARGETS readylog++ DESTINATION ${CMAKE_INSTALL_LIBDIR})
set_property(TARGET readylog++ PROPERTY SOVERSION ${PROJECT_VERSION})
install(TARGETS readylog++ EXPORT golog++-targets DESTINATION ${CMAKE_INSTALL_LIBDIR})
install(FILES
src/semantics/readylog/semantics.h
src/semantics/readylog/formula.h
Expand Down Expand Up @@ -413,7 +419,10 @@ if (BUILD_TAPTENC_SEMANTICS)

add_library(taptenc-golog++ SHARED ${TAPTENC_SRC} ${TAPTENC_SEMANTICS_SRC})
target_include_directories(taptenc-golog++ PUBLIC ${TAPTENC_INCLUDE_PATHS})
set_property(TARGET taptenc-golog++ PROPERTY SOVERSION ${GOLOGPP_VERSION})
target_include_directories(taptenc-golog++ PUBLIC
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/src>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}/golog++>)
set_property(TARGET taptenc-golog++ PROPERTY SOVERSION ${PROJECT_VERSION})
target_include_directories(taptenc-golog++ PUBLIC external)
target_compile_options(taptenc-golog++ PRIVATE -std=c++17)
set(TEST_LIBS ${TEST_LIBS} taptenc-golog++)
Expand All @@ -427,8 +436,8 @@ if (BUILD_TAPTENC_SEMANTICS)

target_link_libraries(golog++ taptenc-golog++)

set_property(TARGET taptenc-golog++ PROPERTY SOVERSION ${GOLOGPP_VERSION})
install(TARGETS taptenc-golog++ DESTINATION ${CMAKE_INSTALL_LIBDIR})
set_property(TARGET taptenc-golog++ PROPERTY SOVERSION ${PROJECT_VERSION})
install(TARGETS taptenc-golog++ EXPORT golog++-targets DESTINATION ${CMAKE_INSTALL_LIBDIR})

else(BUILD_TAPTENC_SEMANTICS)
target_compile_definitions(golog++ PRIVATE USE_DUMMY_PLATFORM)
Expand Down Expand Up @@ -473,7 +482,28 @@ if (BUILD_PARSER AND BUILD_READYLOG_SEMANTICS)
endforeach()
endif()

install(TARGETS gologpp-test DESTINATION ${CMAKE_INSTALL_BINDIR})
install(TARGETS gologpp-test EXPORT golog++-targets DESTINATION ${CMAKE_INSTALL_BINDIR})
endif()


include(CMakePackageConfigHelpers)
write_basic_package_version_file(
${CMAKE_CURRENT_BINARY_DIR}/golog++-config-version.cmake
VERSION ${PROJECT_VERSION}
COMPATIBILITY SameMajorVersion)

install(EXPORT golog++-targets
FILE golog++-targets.cmake
NAMESPACE golog++::
DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/golog++)

install(FILES cmake/golog++-config.cmake
${CMAKE_CURRENT_BINARY_DIR}/golog++-config-version.cmake
DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/golog++)

if (BUILD_DOC)
find_package(Doxygen REQUIRED dot)
if (Doxygen_FOUND)
set(DOXYGEN_OUTPUT_DIRECTORY api)
doxygen_add_docs(doc src README.md)
endif()
endif()
8 changes: 8 additions & 0 deletions cmake/golog++-config.cmake
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
include(CMakeFindDependencyMacro)
find_dependency(PkgConfig)
find_dependency(Boost REQUIRED COMPONENTS filesystem program_options)
find_dependency(EclipseClp)
find_dependency(Threads)
pkg_check_modules(SWIPL "swipl" QUIET)
include("${CMAKE_CURRENT_LIST_DIR}/golog++-targets.cmake")

2 changes: 1 addition & 1 deletion cmake/golog++.pc.in
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@ includedir=@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_INCLUDEDIR@

Name: golog++
Description: The golog++ object model library
Version: @GOLOGPP_VERSION@
Version: @PROJECT_VERSION@
Cflags: -I${includedir}/golog++ -I${includedir} @GOLOGPP_CXXFLAGS@
Libs: -L${libdir} -lgolog++
2 changes: 1 addition & 1 deletion cmake/parsegolog++.pc.in
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Name: parsegolog++
Description: The golog++ parser library
Version: @GOLOGPP_VERSION@
Version: @PROJECT_VERSION@
Requires: golog++
Cflags: -I@Boost_INCLUDE_DIR@ @PARSEGOLOGPP_CXXFLAGS@
Libs: -lparsegolog++
2 changes: 1 addition & 1 deletion cmake/readylog++.pc.in
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Name: readylog++
Description: The ReadyLog semantics library for golog++
Version: @GOLOGPP_VERSION@
Version: @PROJECT_VERSION@
Requires: golog++
Cflags: @READYLOGPP_CXXFLAGS@
Libs: -lreadylog++ @READYLOGPP_LDFLAGS@