Restoring capability to build from a Github release of Boolector

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

325 stars 63 forks source link

Restoring capability to build from a Github release of Boolector #81

Closed aytey closed 4 years ago

aytey commented 4 years ago

Restoring lost changes to Docker.

Signed-off-by: Andrew V. Jones andrew.jones@vector.com

mpreiner commented 4 years ago

This would be actually a good opportunity to add a docker build to Azure pipelines. @andrewvaughanj do you want to take care of that or should I?

aytey commented 4 years ago

Okay, so this has "restored" the capability we wanted + I corrected some of the steps (because the test smt2 files moved) + now runs ctest (which needs python3 as a build dep).

I'm happy this is in a good shape.

aytey commented 4 years ago

@mpreiner if you're happy to do the pipeline stuff, that works well for me!

If you'd rather not do it, but you really want it, I can take a look.

mpreiner commented 4 years ago

Ok, I'll take care of it. Thanks for the fixes!