mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-16 17:16:47 +00:00
Remove history option - it's already optional.
This commit is contained in:
parent
6bccce4d0f
commit
d3c8a09c0c
|
@ -50,7 +50,6 @@ option(ENABLE_SERVER "Enable compilation of MP server" ON)
|
|||
option(ENABLE_MYSQL "Enable building MP/add-ons servers with mysql support" OFF)
|
||||
option(ENABLE_TESTS "Build unit tests")
|
||||
option(ENABLE_NLS "Enable building of translations" ${ENABLE_GAME})
|
||||
option(ENABLE_HISTORY "Enable using GNU history for history in lua console" ON)
|
||||
|
||||
set(BOOST_VERSION "1.66")
|
||||
|
||||
|
@ -518,11 +517,9 @@ if(ENABLE_GAME)
|
|||
unset(LIBDBUS_FOUND CACHE)
|
||||
endif()
|
||||
|
||||
find_package( History )
|
||||
if(ENABLE_HISTORY AND HISTORY_FOUND)
|
||||
find_package(History)
|
||||
if(HISTORY_FOUND)
|
||||
add_definitions(-DHAVE_HISTORY)
|
||||
else()
|
||||
message("Could not find GNU history. Disabling support for command history in lua console.")
|
||||
endif()
|
||||
endif()
|
||||
|
||||
|
|
|
@ -57,7 +57,7 @@ set(game-external-libs
|
|||
${VORBISFILE_LIBRARIES}
|
||||
)
|
||||
|
||||
if(ENABLE_HISTORY AND HISTORY_FOUND)
|
||||
if(HISTORY_FOUND)
|
||||
set(game-external-libs ${game-external-libs} ${HISTORY_LIBRARY})
|
||||
endif()
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user