Generate ABI file in home

SWI-Prolog · Nov 28, 2024 · 1b33a0a · 1b33a0a
1 parent 29fffe2
commit 1b33a0a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/cmake/LocationsPostPorts.cmake b/cmake/LocationsPostPorts.cmake
@@ -36,6 +36,7 @@ endif()
 
 set(SWIPL_BOOT_BASE        "boot.prc")
 set(SWIPL_BOOT_FILE        "${CMAKE_CURRENT_BINARY_DIR}/home/${SWIPL_BOOT_BASE}")
+set(SWIPL_ABI_FILE         "${CMAKE_CURRENT_BINARY_DIR}/home/ABI")
 set(SWIPL_INSTALL_APP	   ${SWIPL_INSTALL_PREFIX}/app)
 set(SWIPL_INSTALL_LIBRARY  ${SWIPL_INSTALL_PREFIX}/library)
 set(SWIPL_INSTALL_BOOT     ${SWIPL_INSTALL_PREFIX}/boot)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -316,7 +316,12 @@ add_custom_command(
 				   -b ${SWIPL_BUILD_HOME}/boot/init.pl
     DEPENDS ${DEP_SWIPL_FOR_BOOT} ${SWIPL_BOOT_FILES}
 )
-add_custom_target(bootfile DEPENDS ${SWIPL_BOOT_FILE})
+add_custom_command(
+    OUTPUT  ${SWIPL_ABI_FILE}
+    COMMAND ${PROG_SWIPL_FOR_BOOT} --abi-version > "${SWIPL_ABI_FILE}"
+    DEPENDS ${DEP_SWIPL_FOR_BOOT}
+)
+add_custom_target(bootfile DEPENDS ${SWIPL_BOOT_FILE} ${SWIPL_ABI_FILE})
 
 add_custom_target(library_index)
 
@@ -656,7 +661,7 @@ install(TARGETS swipl ${SWIPL_INSTALLED_LIBRARIES} EXPORT SWIPL_EXPORT
         LIBRARY DESTINATION ${LIBSWIPL_DIR}
         ARCHIVE DESTINATION ${LIBSWIPL_DIR}
 )
-install(FILES ${SWIPL_BOOT_FILE}
+install(FILES ${SWIPL_BOOT_FILE} ${SWIPL_ABI_FILE}
 	DESTINATION ${SWIPL_INSTALL_PREFIX}
 )
 if(MINGW)