Closed RyanGlScott closed 2 years ago
By default, abc tries to put __declspec(dllimport) attributes on functions, which doesn't play nicely with static linking. Fortunately, this is simple enough to work around by passing -DWIN32_NO_DLL.
abc
__declspec(dllimport)
-DWIN32_NO_DLL
Fixes https://github.com/GaloisInc/what4-solvers/issues/12.
By default,
abctries to put__declspec(dllimport)attributes on functions, which doesn't play nicely with static linking. Fortunately, this is simple enough to work around by passing-DWIN32_NO_DLL.Fixes https://github.com/GaloisInc/what4-solvers/issues/12.