projects
/
ieee754fpu.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
d94ae33
)
add bitwuzla to gitlab-ci
author
Jacob Lifshay
<programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:28 +0000
(22:27 -0700)
committer
Jacob Lifshay
<programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:28 +0000
(22:27 -0700)
.gitlab-ci.yml
patch
|
blob
|
history
diff --git
a/.gitlab-ci.yml
b/.gitlab-ci.yml
index e5cf72f83c836450f00e8f11bc1a7e658f4e6dbc..59812cc631837f0a6ca0a15b02936f949c577c7f 100644
(file)
--- a/
.gitlab-ci.yml
+++ b/
.gitlab-ci.yml
@@
-99,6
+99,18
@@
build:
- make install
- popd
- make install
- popd
+ - git clone https://github.com/bitwuzla/bitwuzla.git bitwuzla
+ - pushd bitwuzla
+ - git checkout 19dd987a6e246990619751cca07996fac505fd0b
+ - ./contrib/setup-btor2tools.sh
+ - ./contrib/setup-symfpu.sh
+ - ./contrib/setup-cadical.sh
+ - ./configure.sh
+ - cd build
+ - make -j$(nproc)
+ - make install
+ - popd
+
- git clone --depth 1 -b smtlib2-expr-support https://gitlab.com/programmerjake/nmigen.git nmigen
- pushd nmigen
- git rev-parse HEAD
- git clone --depth 1 -b smtlib2-expr-support https://gitlab.com/programmerjake/nmigen.git nmigen
- pushd nmigen
- git rev-parse HEAD