2016-08-30 14:29:40 +01:00
|
|
|
set(PL_SOURCES
|
2014-12-15 12:27:07 +00:00
|
|
|
absf.yap
|
|
|
|
|
arith.yap
|
|
|
|
|
arithpreds.yap
|
|
|
|
|
arrays.yap
|
|
|
|
|
attributes.yap
|
|
|
|
|
atoms.yap
|
|
|
|
|
boot.yap
|
2016-07-31 16:43:31 +01:00
|
|
|
bootutils.yap
|
2014-12-15 12:27:07 +00:00
|
|
|
callcount.yap
|
|
|
|
|
checker.yap
|
|
|
|
|
consult.yap
|
|
|
|
|
control.yap
|
|
|
|
|
corout.yap
|
|
|
|
|
debug.yap
|
|
|
|
|
dbload.yap
|
|
|
|
|
depth_bound.yap
|
|
|
|
|
dialect.yap
|
|
|
|
|
directives.yap
|
|
|
|
|
eam.yap
|
|
|
|
|
eval.yap
|
|
|
|
|
errors.yap
|
|
|
|
|
flags.yap
|
|
|
|
|
grammar.yap
|
|
|
|
|
ground.yap
|
|
|
|
|
hacks.yap
|
|
|
|
|
init.yap
|
|
|
|
|
listing.yap
|
2016-02-29 03:13:23 +00:00
|
|
|
bootlists.yap
|
2014-12-15 12:27:07 +00:00
|
|
|
load_foreign.yap
|
2016-01-03 02:06:09 +00:00
|
|
|
messages.yap
|
|
|
|
|
meta.yap
|
2014-12-15 12:27:07 +00:00
|
|
|
modules.yap
|
2016-07-31 16:43:31 +01:00
|
|
|
newmod.yap
|
2014-12-15 12:27:07 +00:00
|
|
|
os.yap
|
|
|
|
|
preddecls.yap
|
2016-04-05 08:03:19 +01:00
|
|
|
preddyns.yap
|
2014-12-15 12:27:07 +00:00
|
|
|
preds.yap
|
|
|
|
|
profile.yap
|
|
|
|
|
protect.yap
|
|
|
|
|
qly.yap
|
|
|
|
|
save.yap
|
|
|
|
|
setof.yap
|
|
|
|
|
signals.yap
|
|
|
|
|
sort.yap
|
|
|
|
|
statistics.yap
|
|
|
|
|
strict_iso.yap
|
|
|
|
|
tabling.yap
|
|
|
|
|
threads.yap
|
|
|
|
|
udi.yap
|
|
|
|
|
undefined.yap
|
|
|
|
|
utils.yap
|
|
|
|
|
swi.yap
|
|
|
|
|
yapor.yap
|
|
|
|
|
yio.yap
|
|
|
|
|
)
|
|
|
|
|
|
2016-08-30 14:29:40 +01:00
|
|
|
if (ANDROID)
|
|
|
|
|
message("${libpl}")
|
|
|
|
|
file(INSTALL ${PL_SOURCES} DESTINATION ${libpl}/pl)
|
2016-07-31 16:43:31 +01:00
|
|
|
|
2016-08-30 14:29:40 +01:00
|
|
|
else()
|
2016-07-31 16:43:31 +01:00
|
|
|
add_custom_target (${YAP_STARTUP} ALL SOURCES ${PL_SOURCES} ${YAPOS_PL_SOURCES} WORKING_DIRECTORY ${CMAKE_BINARY_DIR} )
|
2014-12-15 12:27:07 +00:00
|
|
|
|
2016-03-05 12:40:59 +00:00
|
|
|
# Create a startup.yss on the top directory.
|
2014-12-15 12:27:07 +00:00
|
|
|
add_custom_command (TARGET ${YAP_STARTUP}
|
2016-05-10 08:33:44 +01:00
|
|
|
COMMAND yap-bin -B
|
2014-12-15 12:27:07 +00:00
|
|
|
VERBATIM
|
|
|
|
|
WORKING_DIRECTORY ${CMAKE_TOP_BINARY_DIR}
|
2015-06-19 01:30:13 +01:00
|
|
|
DEPENDS yap-bin ${PL_SOURCES}
|
2014-12-15 12:27:07 +00:00
|
|
|
)
|
|
|
|
|
|
2015-06-19 01:30:13 +01:00
|
|
|
|
2014-12-15 12:27:07 +00:00
|
|
|
install (FILES ${CMAKE_TOP_BINARY_DIR}/${YAP_STARTUP}
|
|
|
|
|
DESTINATION ${dlls}
|
|
|
|
|
)
|
2016-04-05 08:03:19 +01:00
|
|
|
|
2016-07-31 16:43:31 +01:00
|
|
|
|
2016-08-30 14:29:40 +01:00
|
|
|
endif (ANDROID)
|
2016-07-31 16:43:31 +01:00
|
|
|
|
2016-04-05 08:03:19 +01:00
|
|
|
|
|
|
|
|
install (FILES ${PL_SOURCES}
|
|
|
|
|
DESTINATION ${libpl}/pl
|
|
|
|
|
)
|
