diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
commit | 99cad5495be99efae434177d1537d4cfac35581c (patch) | |
tree | d96995c91bfcec7d4cd40d9aa6cedef5a19fa18f /src/theory/arith | |
parent | 8116fa6b55db64301ed89f1f174b95780449007f (diff) |
* Some documentation about building compatibility and language bindings
* Better errors/warnings when SWIG isn't installed (resolves bug 373)
* Allow compatibility bindings to be built when SWIG isn't available
Diffstat (limited to 'src/theory/arith')
0 files changed, 0 insertions, 0 deletions