mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 23:04:20 +01:00
24 lines
617 B
Text
24 lines
617 B
Text
|
set_directory_properties(PROPERTIES INCLUDE_DIRECTORIES "")
|
||
|
|
|
||
|
|
file(WRITE "${CMAKE_CURRENT_BINARY_DIR}/runcat.sh" "#!/bin/bash
|
||
|
|
out=$1; shift
|
||
|
|
exec \"$@\" >$out")
|
||
|
|
|
||
|
|
add_executable(make_tdb make_tdb.c)
|
||
|
|
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
|
||
|
|
)
|