Support for auto-building PyBoolector PyPi package

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

335 stars 62 forks source link

Support for auto-building PyBoolector PyPi package #71

Closed mballance closed 4 years ago

mballance commented 4 years ago

This PR adds support for automatically building a Python package for Pyboolector and uploading it to PyPi. This is implemented as an extension to the existing Azure Pipelines CI flow for Boolector. This is an implementation of the feature request https://github.com/Boolector/boolector/issues/49

mballance commented 4 years ago

Hello, I see there are two initial problems. I will work on getting the commits marked as signed-off. I need a suggestion on the other issue: the fact that the CI build for the PR fails because it is missing PyPi authentication credentials. I could temporarily disable the full CI flow for this change. Eventually, though, the main CI flow for Boolector will need to register PyPi credentials with the Azure Pipelines configuration. Thoughts here on how to proceed?

Thanks, Matthew

mpreiner commented 4 years ago

Thanks @mballance for you efforts. I'm not familiar with the PyPi publish processs and how it can be done with Azure. I'll have a look soon.

mballance commented 4 years ago

Okay, I've messed something up while trying to put signoffs on my commits. I'm dropping this PR and will open another.