projects
/
nmutil.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
bccd4af
)
pin some dependency versions
author
Jacob Lifshay
<programmerjake@gmail.com>
Thu, 12 May 2022 01:14:57 +0000
(18:14 -0700)
committer
Jacob Lifshay
<programmerjake@gmail.com>
Thu, 12 May 2022 01:14:57 +0000
(18:14 -0700)
.gitlab-ci.yml
patch
|
blob
|
history
diff --git
a/.gitlab-ci.yml
b/.gitlab-ci.yml
index 9477b577748645977e2b9f5c13463f74f856bd9b..beb4f46cb8a3d3187c8dc4f482a413a052e6f39d 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)