From 34e0ed29a1ca995bf1b17b35d2c5420285349dca Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Wed, 11 May 2022 18:14:57 -0700 Subject: [PATCH] pin some dependency versions --- .gitlab-ci.yml | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9477b57..beb4f46 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) -- 2.30.2