diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:47:57 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:47:57 +0100 |
| commit | 5f3e9424e42b9679214a3e3d4d333a15675e7963 (patch) | |
| tree | 7b70a0094cf3c50142c45cc16fa4262a61ceb01a /ci | |
| parent | 861a47690d7cb52bcb0dc41738982b85f2e6ffb5 (diff) | |
| download | smtcoq-5f3e9424e42b9679214a3e3d4d333a15675e7963.tar.gz smtcoq-5f3e9424e42b9679214a3e3d4d333a15675e7963.zip | |
A bit of CI
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/manifest | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/ci/manifest b/ci/manifest new file mode 100644 index 0000000..33d9f6d --- /dev/null +++ b/ci/manifest @@ -0,0 +1,44 @@ +# To be run on https://builds.sr.ht + +# Testing the opam package with the veriT and CVC4 provers + + +image: debian/sid +packages: +- screen +- opam +- atool +- autoconf +- bison +- flex +sources: +- https://github.com/smtcoq/smtcoq.git +tasks: +- opam: | + opam init --no-setup + opam switch create ocaml-base-compiler.4.09.0 +- smtcoq: | + eval $(opam env) + opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev + opam install camlp5 conf-findutils conf-m4 ocamlfind num coq coq-smtcoq +- cvc4: | + wget http://cvc4.cs.stanford.edu/downloads/builds/x86_64-linux-opt/cvc4-1.6-x86_64-linux-opt + chmod ugo+x cvc4-1.6-x86_64-linux-opt +- verit: | + wget https://www.lri.fr/~keller/Documents-recherche/Smtcoq/veriT9f48a98.tar.gz + aunpack veriT9f48a98.tar.gz + cd veriT9f48a98 + autoconf + ./configure + make +- bin: | + mkdir bin + cd bin + ln -s ~/cvc4-1.6-x86_64-linux-opt cvc4 + ln -s ~/veriT9f48a98/veriT veriT +- test: | + eval $(opam env) + export PATH=~/bin:$PATH + cd smtcoq/unit-tests + make verit + make lfsc |