bump swi-prolog to 9.3.5

smucclaw · May 1, 2024 · 75514c4 · 75514c4
1 parent fc3827a
commit 75514c4
Show file tree

Hide file tree

Showing 9 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/browser_esm_lib.yml b/.github/workflows/browser_esm_lib.yml
@@ -75,7 +75,7 @@ jobs:
         uses: smucclaw/setup-swi-prolog@master
         with:
           swi-prolog-branch: devel
-          swi-prolog-version: '9.3.4-2-g2e0cdad60-jammyppa2	'
+          swi-prolog-version: '9.3.5-2-g6015b66cb-jammyppa2'
 
       - name: Install SWI-Prolog dependencies
         run: |

diff --git a/.github/workflows/jvm_lib.yml b/.github/workflows/jvm_lib.yml
@@ -60,7 +60,7 @@ jobs:
         uses: smucclaw/setup-swi-prolog@master
         with:
           swi-prolog-branch: devel
-          swi-prolog-version: '9.3.4-2-g2e0cdad60-jammyppa2	'
+          swi-prolog-version: '9.3.5-2-g6015b66cb-jammyppa2'
 
       - name: Install SWI-Prolog dependencies
         run: |

diff --git a/.github/workflows/node_lib.yml b/.github/workflows/node_lib.yml
@@ -75,7 +75,7 @@ jobs:
         uses: smucclaw/setup-swi-prolog@master
         with:
           swi-prolog-branch: devel
-          swi-prolog-version: '9.3.4-2-g2e0cdad60-jammyppa2	'
+          swi-prolog-version: '9.3.5-2-g6015b66cb-jammyppa2'
 
       - name: Install SWI-Prolog dependencies
         run: |

diff --git a/.github/workflows/py_node_lib.yml b/.github/workflows/py_node_lib.yml
@@ -75,7 +75,7 @@ jobs:
         uses: smucclaw/setup-swi-prolog@master
         with:
           swi-prolog-branch: devel
-          swi-prolog-version: '9.3.4-2-g2e0cdad60-jammyppa2	'
+          swi-prolog-version: '9.3.5-2-g6015b66cb-jammyppa2'
 
       - name: Install SWI-Prolog dependencies
         run: |

diff --git a/.github/workflows/web_editor.yml b/.github/workflows/web_editor.yml
@@ -75,7 +75,7 @@ jobs:
         uses: smucclaw/setup-swi-prolog@master
         with:
           swi-prolog-branch: devel
-          swi-prolog-version: '9.3.4-2-g2e0cdad60-jammyppa2	'
+          swi-prolog-version: '9.3.5-2-g6015b66cb-jammyppa2'
 
       - name: Install SWI-Prolog dependencies
         run: |

diff --git a/README.md b/README.md
@@ -21,7 +21,7 @@ to transpile L4 to Prolog and generate execution traces.
 - [pnpm](https://pnpm.io/installation)
 - [SWI-Prolog](https://www.swi-prolog.org/)
 
-This project is developed with JDK LTS 21, nodejs LTS 20, and SWI-Prolog 9.3.4.
+This project is developed with JDK LTS 21, nodejs LTS 20, and SWI-Prolog 9.3.5.
 
 ## Usage
 ### Setup

diff --git a/deps.edn b/deps.edn
@@ -2,7 +2,7 @@
  :deps {thheller/shadow-cljs {:mvn/version "2.28.4"}
         binaryage/devtools {:mvn/version "1.0.7"}
         hoplon/hoplon {:mvn/version "7.5.0"}
-        com.github.SWI-Prolog/packages-jpl {:mvn/version "V9.3.4"}
+        com.github.SWI-Prolog/packages-jpl {:mvn/version "V9.3.5"}
         instaparse/instaparse {:mvn/version "1.4.14"}
         ;; com.github.clj-easy/graal-build-time {:mvn/version "1.0.5"}
         net.cgrand/xforms {:mvn/version "0.19.6"}

diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -10,7 +10,7 @@ packages = [
 
 [tool.poetry.dependencies]
 python = "^3.12.0"
-janus-swi = {git = "https://github.com/SWI-Prolog/packages-swipy.git", tag = "V9.3.4"}
+janus-swi = {git = "https://github.com/SWI-Prolog/packages-swipy.git", tag = "V9.3.5"}
 javascript = "^1!1.1.3"
 edn-format = "^0.7.5"
 pyrsistent = "^0.20.0"