Closed aytey closed 3 years ago
Boolector's install target does not install btoropt.h, which is required to set options via the API
btoropt.h
This PR ensure that header is installed.
Signed-off-by: Andrew V. Jones andrew.jones@vector.com
Oops; I didn't check this, it isn't good.
Issue
Boolector's install target does not install
btoropt.h
, which is required to set options via the APIResolution
This PR ensure that header is installed.
Signed-off-by: Andrew V. Jones andrew.jones@vector.com