2013-04-17 00:00:25 -04:00
|
|
|
set_directory_properties(PROPERTIES INCLUDE_DIRECTORIES "")
|
|
|
|
|
|
|
|
file(WRITE "${CMAKE_CURRENT_BINARY_DIR}/runcat.sh" "#!/bin/bash
|
|
|
|
out=$1; shift
|
|
|
|
exec \"$@\" >$out")
|
|
|
|
|
2013-04-17 00:00:59 -04:00
|
|
|
add_executable(make_tdb make_tdb)
|
2013-04-17 00:00:26 -04:00
|
|
|
set_property(TARGET make_tdb APPEND PROPERTY COMPILE_DEFINITIONS _GNU_SOURCE)
|
2013-04-17 00:00:25 -04:00
|
|
|
add_custom_command(
|
|
|
|
OUTPUT "${CMAKE_CURRENT_BINARY_DIR}/db.h"
|
|
|
|
COMMAND bash runcat.sh "${CMAKE_CURRENT_BINARY_DIR}/db.h" $<TARGET_FILE:make_tdb>
|
|
|
|
DEPENDS make_tdb)
|
|
|
|
add_custom_target(install_tdb_h DEPENDS
|
|
|
|
"${CMAKE_CURRENT_BINARY_DIR}/db.h")
|
|
|
|
|
|
|
|
install(
|
|
|
|
FILES "${CMAKE_CURRENT_BINARY_DIR}/db.h"
|
|
|
|
DESTINATION include
|
|
|
|
RENAME tokudb.h
|
|
|
|
)
|
|
|
|
install(
|
|
|
|
FILES "${CMAKE_CURRENT_BINARY_DIR}/db.h"
|
|
|
|
DESTINATION include
|
|
|
|
)
|