projects
/
nmigen-gf.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4ee201e
)
pin some dependency versions
author
Jacob Lifshay
<programmerjake@gmail.com>
Thu, 12 May 2022 01:32:06 +0000
(18:32 -0700)
committer
Jacob Lifshay
<programmerjake@gmail.com>
Thu, 12 May 2022 01:32:06 +0000
(18:32 -0700)
.gitlab-ci.yml
patch
|
blob
|
history
diff --git
a/.gitlab-ci.yml
b/.gitlab-ci.yml
index 476b4cd99c270726da2cba209c215c20a4afdeb4..12176f3eadb5990e82397a80ac16460e1fa7a1d0 100644
(file)
--- 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:
- 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
- pushd yosys
- - git rev-parse HEAD
- make config-gcc
- make -j$(nproc)
- make install
- popd
- yosys -V
- 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
- pushd SymbiYosys
- - git
rev-parse HEAD
+ - git
checkout d10e472edf4ea9be3aa6347b264ba575fbea933a
- make install
- popd
- 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
- pushd yices2
- - git rev-parse HEAD
- autoconf
- ./configure
- make -j$(nproc)
- make install
- popd
- 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
- pushd z3
- - git rev-parse HEAD
- python scripts/mk_make.py
- cd build
- make -j$(nproc)
- python scripts/mk_make.py
- cd build
- make -j$(nproc)