Add click python lib to formal:min image

hdl / containers

Building and deploying container images for open source electronic design automation (EDA)

https://hdl.github.io/containers/

Apache License 2.0

106 stars 24 forks source link

Add click python lib to formal:min image #65

Closed tmeissner closed 1 year ago

tmeissner commented 1 year ago

Fixes #63

formal:min is used as base for the other formal:* images, so I assume that all of them should now include the click library.

As I'm a bit overwhelmed how to use the tools under utils/ I've checked the build of the formal:min by using GHA. It seems to build successfully, but I haven't test yet if sby can be run successfully.