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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
# compile_qlf spec ...
# add_swipl_target(name
# OUTPUT output
# COMMAND command
# [OPTIONS ...]
# [SCRIPT ...]
# [QUIET]
# [COMMENT comment]
# [DEPENDS ...])
#
# Add a custom target that runs Prolog to create output in the locally created
# Prolog home ${SWIPL_BUILD_HOME}. The created product is added to the installation
# target at the same location.
#
# Variables:
# - ${SWIPL_COMMAND_DEPENDS} is added to the dependencies
function(add_swipl_target name)
set(options -f none --no-packs -t halt "--home=${SWIPL_BUILD_HOME}")
cmake_parse_arguments(
my "QUIET;QLF" "COMMENT;COMMAND" "OUTPUT;SCRIPT;DEPENDS;OPTIONS;LIBS" ${ARGN})
if(my_QUIET)
set(options ${options} -q)
endif()
if(NOT my_COMMENT)
set(my_COMMENT "-- swipl -g ${my_COMMAND}")
endif()
if(my_QLF)
set(PROG_SWIPL ${PROG_SWIPL_FOR_BOOT})
endif()
foreach(s ${my_LIBS})
set(options ${options} -g "\"use_module(library(${s}))\"")
endforeach()
foreach(s ${my_SCRIPT})
set(options ${options} -s ${s})
endforeach()
add_custom_command(
OUTPUT ${my_OUTPUT}
COMMAND ${PROG_SWIPL} ${options} -g "\"${my_COMMAND}\"" -- ${my_OPTIONS}
COMMENT "${my_COMMENT}"
DEPENDS core prolog_home
${SWIPL_COMMAND_DEPENDS} "${my_DEPENDS}")
add_custom_target(
${name} ALL
DEPENDS ${my_OUTPUT})
list(GET my_OUTPUT 0 primary)
string(REPLACE "${SWIPL_BUILD_HOME}" "" rel "${primary}")
get_filename_component(rel ${rel} DIRECTORY)
install(FILES ${primary}
DESTINATION ${SWIPL_INSTALL_PREFIX}/${rel})
endfunction()
# add_qcompile_target(
# target
# [SOURCES ...]
# [DEPENDS ...]
# [PRELOAD ...]
#
# Preloading a library is written as e.g. PRELOAD lib:pldoc to load
# library(pldoc).
function(add_qcompile_target target)
cmake_parse_arguments(my "" "" "SOURCES;DEPENDS;PRELOAD" ${ARGN})
prepend(src ${SWIPL_QLF_BASE}/ ${my_SOURCES})
set(src ${src} ${SWIPL_QLF_BASE}/${target}.pl)
string(REPLACE "/" "-" tname "${target}")
if(my_PRELOAD)
set(extra --preload ${my_PRELOAD})
else()
set(extra)
endif()
add_swipl_target(
qlf-${tname}
OUTPUT ${SWIPL_QLF_BASE}/${target}.qlf
COMMAND cmake_qcompile
LIBS prolog_install
OPTIONS --compile ${SWIPL_QLF_BASE}/${target} --qlfdeps ${src} ${extra}
COMMENT "QLF compiling ${target}.qlf"
DEPENDS ${src} ${my_DEPENDS})
endfunction()
# run_installed_swipl(command
# [QUIET]
# [SCRIPT script ...]
# [PACKAGES pkg ...]
# [COMMENT comment])
#
# Run the compiled Prolog system with its home set to the installed system.
# This is used for post installation tasks
if(NOT SWIPL_PATH_SEP)
set(SWIPL_PATH_SEP ":")
endif()
function(run_installed_swipl command)
set(pforeign ${CMAKE_CURRENT_BINARY_DIR})
set(plibrary ${CMAKE_CURRENT_SOURCE_DIR})
set(rc -F none)
set(options -f none --no-packs -t halt --home=${SWIPL_INSTALL_PREFIX})
cmake_parse_arguments(my "QUIET" "COMMENT;RC" "SCRIPT;PACKAGES" ${ARGN})
if(my_QUIET)
set(options ${options} -q)
endif()
if(my_COMMENT)
install(CODE "message(\"${my_COMMENT}\")")
endif()
if(my_RC)
set(rc -F ${my_RC})
endif()
foreach(s ${my_SCRIPT})
set(options ${options} -s ${s})
endforeach()
foreach(pkg ${packages})
get_filename_component(src ${CMAKE_SOURCE_DIR}/packages/${pkg} ABSOLUTE)
get_filename_component(bin ${CMAKE_BINARY_DIR}/packages/${pkg} ABSOLUTE)
set(plibrary "${plibrary}${SWIPL_PATH_SEP}${src}")
set(pforeign "${pforeign}${SWIPL_PATH_SEP}${bin}")
endforeach()
set(SWIPL ${CMAKE_BINARY_DIR}/src/swipl${CMAKE_EXECUTABLE_SUFFIX})
install(CODE "EXECUTE_PROCESS(COMMAND
${SWIPL} ${options} ${rc} -f none --no-packs
-p \"foreign=${pforeign}\" -p \"library=${plibrary}\"
-g \"${command}\")")
endfunction()
# qcompile(spec ...)
# Generate QLF files for the given libraries.
function(qcompile)
cmake_parse_arguments(my "" "RC" "LIBRARIES" ${ARGN})
if(NOT my_RC)
set(my_RC none)
endif()
foreach(f ${my_LIBRARIES})
run_installed_swipl("qcompile(library(${f}))"
RC ${my_RC}
COMMENT "-- QLF compiling library(${f})")
endforeach()
endfunction()
|
