Skip to content

Commit

Permalink
Problem: older version of SWI Prolog
Browse files Browse the repository at this point in the history
Solution: switch to the development branch

They are generally quite stable and pack a lot of new features that can
be useful.
  • Loading branch information
yrashk committed Sep 5, 2023
1 parent 6570279 commit 962151e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion extensions/omni_prolog/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@ find_package(PostgreSQL REQUIRED)

if(NOT DEFINED SWIPL)

CPMAddPackage(NAME swiprolog GITHUB_REPOSITORY SWI-Prolog/swipl VERSION 9.0.4 GIT_TAG V9.0.4
CPMAddPackage(NAME swiprolog GITHUB_REPOSITORY SWI-Prolog/swipl-devel VERSION 9.1.13 GIT_TAG V9.1.13
DOWNLOAD_ONLY YES GIT_SUBMODULES)

if(swiprolog_ADDED)
execute_process(COMMAND cmake -S ${swiprolog_SOURCE_DIR} -DMULTI_THREADED=OFF -DSWIPL_STATIC_LIB=ON
-DSWIPL_PACKAGE_LIST=http;clib -DUSE_GMP=OFF -DUSE_SIGNALS=OFF
-DSWIPL_PACKAGES_PYTHON=OFF
-DSWIPL_STATIC_LIB=ON -DBUILD_TESTING=OFF -DINSTALL_TESTS=OFF
-DINSTALL_DOCUMENTATION=OFF -DCMAKE_INSTALL_PREFIX=${CMAKE_CURRENT_BINARY_DIR}/swipl
-B ${swiprolog_BINARY_DIR}
Expand Down

0 comments on commit 962151e

Please sign in to comment.