From e2530faa7278c68295c5c028ca102bd80be15fc6 Mon Sep 17 00:00:00 2001
From: Gao Enhao <gaoeh@lamda.nju.edu.cn>
Date: Thu, 28 Dec 2023 17:21:50 +0800
Subject: [PATCH] [MNT] add swipl path to github env var

---
 .github/workflows/build-and-test.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-and-test.yaml b/.github/workflows/build-and-test.yaml
index f2a59d8..5141423 100644
--- a/.github/workflows/build-and-test.yaml
+++ b/.github/workflows/build-and-test.yaml
@@ -42,7 +42,9 @@ jobs:
       run: choco install swi-prolog
     - name: Install SWI-Prolog on MACOS
       if: matrix.os == 'macos-latest'
-      run: brew install swi-prolog
+      run: |
+        brew install swi-prolog
+        echo "SWI_HOME_DIR=/usr/local/lib/swipl" >> $GITHUB_ENV
 
     - name: Install package dependencies
       run: |