From ff9187eab80e20cb4c2495403b071ceb4b7a5e90 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Victor=20Matar=C3=A9?= <vmatare+github@posteo.de>
Date: Sun, 19 Mar 2023 01:53:24 +0100
Subject: [PATCH] try with eclipseclp

---
 .github/workflows/cmake.yml | 29 +++++++++++++++++++++++------
 1 file changed, 23 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index 26df9ba..b7cecc8 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -1,10 +1,11 @@
 name: CMake
 
 on:
-  push:
-    branches: [ "master" ]
-  pull_request:
-    branches: [ "master" ]
+  workflow_dispatch:
+  #push:
+  #  branches: [ "master" ]
+  #pull_request:
+  #  branches: [ "master" ]
 
 env:
   # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
@@ -16,17 +17,33 @@ jobs:
     # You can convert this to a matrix build if you need cross-platform coverage.
     # See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
     runs-on: ubuntu-latest
+    
+    env:
+      VERSION: 6.1_229
 
     steps:
     - uses: actions/checkout@v3
 
     - name: install-deps
-      run: sudo apt install libboost-all-dev
+      run: sudo apt install libboost-all-dev wget
+      
+    - name: install eclipse-clp
+      run: |
+        wget https://github.com/vmatare/eclipseclp/blob/main/eclipse_basic-$VERSION.tgz?raw=true \
+          -O eclipse_basic.tar.gz
+        mkdir eclipse
+        tar -C eclipse -xzf eclipse_basic.tar.gz
+        ( cd eclipse; echo -e "\n\n\n\n\n\n\n" | ./RUNME )
 
     - name: Configure CMake
       # Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make.
       # See https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html?highlight=cmake_build_type
-      run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DBUILD_READYLOG_SEMANTICS=FALSE -DBUILD_TESTING=FALSE
+      run: |
+        export PATH=$PATH:$PWD/eclipse/bin/x86_64_linux/eclipse
+        cmake -B ${{github.workspace}}/build \
+          -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} \
+          -DBUILD_READYLOG_SEMANTICS=TRUE \
+          -DBUILD_TESTING=TRUE \
 
     - name: Build
       # Build your program with the given configuration