From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 12 May 2022 01:32:06 +0000 (-0700)
Subject: pin some dependency versions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1d2953bcf7d22d117dec7b0e60b87f949a5f84a3;p=nmigen-gf.git

pin some dependency versions
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 476b4cd..12176f3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -45,33 +45,30 @@ build:
         - ccache --show-stats || true
         - python3 -m pip install --user pytest-xdist
     script:
-        - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
+        - git clone --depth 1 -b yosys-0.17 https://github.com/YosysHQ/yosys.git yosys
         - pushd yosys
-        - git rev-parse HEAD
         - make config-gcc
         - make -j$(nproc)
         - make install
         - popd
         - yosys -V
 
-        - git clone --depth 1 https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
+        - git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
         - pushd SymbiYosys
-        - git rev-parse HEAD
+        - git checkout d10e472edf4ea9be3aa6347b264ba575fbea933a
         - make install
         - popd
 
-        - git clone --depth 1 https://github.com/SRI-CSL/yices2.git yices2
+        - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
         - pushd yices2
-        - git rev-parse HEAD
         - autoconf
         - ./configure
         - make -j$(nproc)
         - make install
         - popd
 
-        - git clone --depth 1 https://github.com/Z3Prover/z3.git z3
+        - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
         - pushd z3
-        - git rev-parse HEAD
         - python scripts/mk_make.py
         - cd build
         - make -j$(nproc)