From 978e8e97889480b7770ba91c9474ad3c8046f95c Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 27 Oct 2017 13:56:49 +0100 Subject: [PATCH] cmake --- CMakeLists.txt | 1 + cmake/Config.cmake | 3 +++ 2 files changed, 4 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index 299b99a8a..6baa578c4 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -235,6 +235,7 @@ set ( exec_prefix ${CMAKE_INSTALL_PREFIX}/libexec) #LIBEXECDIR}) set( datarootdir ${CMAKE_INSTALL_PREFIX}/share) #DATAROOTDIR}) set ( datadir ${CMAKE_INSTALL_PREFIX}/share) #DATADIR}) set ( mandir ${CMAKE_INSTALL_PREFIX}/share/man) #MANDIR}) +set ( docdir ${CMAKE_INSTALL_PREFIX}/share/docs) #MANDIR}) set ( libpl ${datarootdir}/Yap) diff --git a/cmake/Config.cmake b/cmake/Config.cmake index ac4b4b6fb..6480e36af 100644 --- a/cmake/Config.cmake +++ b/cmake/Config.cmake @@ -406,6 +406,9 @@ check_symbol_exists( rl_done stdio.h;readline/readline.h HAVE_DECL_RL_DONE ) CHECK_TYPE_SIZE( rl_hook_func_t RL_HOOK_FUNC_T ) check_symbol_exists( rl_event_hook stdio.h;readline/readline.h HAVE_DECL_RL_EVENT_HOOK ) check_symbol_exists( rl_readline_state stdio.h;readline/readline.h HAVE_DECL_RL_READLINE_STATE ) +check_function_exists( add_history HAVE_ADD_HISTORY) +check_function_exists( remove_history HAVE_REMOVE_HISTORY) +check_function_exists( using_history HAVE_USING_HISTORY) configure_file(${CMAKE_SOURCE_DIR}/os/YapIOConfig.h.cmake ${CMAKE_BINARY_DIR}/YapIOConfig.h)