diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-11-01 09:42:15 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-11-01 09:42:15 -0700 |
| commit | be11fae39055f213586058ec9129d1276f724b0e (patch) | |
| tree | f87bb554cfcc6fd7a79934143e83d8b6cb1fb854 /src/theory/quantifiers/rewrite_engine.cpp | |
| parent | bdcc170e1bf5bb62904c4a3ebbdc9902096799ba (diff) | |
Add option to build shared Windows dependencies (#1282)
This commit adds an option to the contrib/get-win-dependencies script
(-s) to build shared library versions of ANTLR and GMP, which enables
building the shared versions of the CVC4 libraries needed for language
bindings.
Diffstat (limited to 'src/theory/quantifiers/rewrite_engine.cpp')
0 files changed, 0 insertions, 0 deletions