1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
include(QLF)
function(library_index)
foreach(dir ${ARGN})
string(REGEX REPLACE "/" "_" dirtarget ${dir})
set(target library_index_${dirtarget})
if(NOT TARGET ${target})
add_custom_target(
${target}_always ALL
DEPENDS ${SWIPL_BUILD_HOME}/${dir}/__INDEX.pl)
add_swipl_target(
${target}
OUTPUT ${SWIPL_BUILD_HOME}/${dir}/INDEX.pl
${SWIPL_BUILD_HOME}/${dir}/__INDEX.pl
QUIET
COMMAND "make_library_index('${SWIPL_BUILD_HOME}/${dir}')"
COMMENT "Build home/${dir}/INDEX.pl")
add_dependencies(library_index ${target})
endif()
endforeach()
endfunction()
|
