From 67afb4564b6d76c495e7dc1eb641d64477e017c0 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Fri, 4 Aug 2023 17:59:24 +0200
Subject: [PATCH] Added local Yosys version (0.24).

---
 .github/workflows/regression.yml | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/regression.yml b/.github/workflows/regression.yml
index 3eecb73f..abbfcb99 100644
--- a/.github/workflows/regression.yml
+++ b/.github/workflows/regression.yml
@@ -18,16 +18,34 @@ jobs:
        with:
          repository: lip6/alliance-check-toolkit
          path:       coriolis-2.x/src/alliance-check-toolkit
+     - uses: actions/checkout@v3
+       with:
+         repository: YosysHQ/yosys
+         path:       coriolis-2.x/src/yosys
+         ref:        69cbef966
      - name: Update APT cache
        run: sudo apt-get update
      - name: Install software dependencies
        run: >
          sudo apt-get install libboost-all-dev rapidjson-dev \
+                              python-dev-is-python3 \
                               qtbase5-dev qtbase5-dev-tools libqt5svg5-dev libqwt-qt5-dev \
                               libeigen3-dev liblemon-dev \
                               autotools-dev automake \
-                              libxt-dev libxpm-dev libmotif-dev
+                              libxt-dev libxpm-dev libmotif-dev \
+                              tcl-dev libffi-dev
+     - name: Build Yosys
+       run: |
+         cd ${{ github.workspace }}/coriolis-2.x/src/yosys
+         make ENABLE_PYOSYS=1 config-gcc
+         make ENABLE_PYOSYS=1 GIT_REV=69cbef966 PREFIX=${{ github.workspace }}/coriolis-2.x/Linux.x86_64/Release.Shared/install install
+     - name: Check for binaries
+       run: ls ${{ github.workspace }}/coriolis-2.x/Linux.x86_64/Release.Shared/install/bin
      - name: Build Alliance
-       run: ${{ github.workspace }}/coriolis-2.x/src/coriolis/bootstrap/allianceInstaller.sh --github-runner=${{ github.workspace }}
+       run: >
+         ${{ github.workspace }}/coriolis-2.x/src/coriolis/bootstrap/allianceInstaller.sh \
+           --github-runner=${{ github.workspace }}
      - name: Build Coriolis
-       run: ${{ github.workspace }}/coriolis-2.x/src/coriolis/bootstrap/ccb.py --root=${{ github.workspace }}/coriolis-2.x --project=coriolis --make="-j4 install"
+       run: >
+         ${{ github.workspace }}/coriolis-2.x/src/coriolis/bootstrap/ccb.py \
+	   --root=${{ github.workspace }}/coriolis-2.x --project=coriolis --make="-j4 install"