diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-02 17:14:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 17:14:22 -0700 |
commit | 2faf908ed88c798a25b4881e3ce3026dc139bca3 (patch) | |
tree | a0e0977d8c40e4c4e6f9aa36f517335062ee282b /INSTALL.md | |
parent | 34661cedac9ea64c4cec5fc71f0d303eb7688723 (diff) |
Remove SWIG bindings (#4683)
This commit removes support for SWIG bindings for the legacy API. The
bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da
and we are not planning on using SWIG for the Java API for the new API.
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/INSTALL.md b/INSTALL.md index bf3a20ed2..ae22e2d71 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -129,11 +129,6 @@ dependency. with --check-proofs. It can be installed using the `contrib/get-lfsc` script. Configure CVC4 with `configure.sh --lfsc` to build with this dependency. -### SWIG >= 3.0.x (Simplified Wrapper and Interface Generator) - -SWIG 3.0.x (and a JDK) is necessary to build the Java API. -See [Language Bindings](#language-bindings) below for build instructions. - ### CLN >= v1.3 (Class Library for Numbers) [CLN](http://www.ginac.de/CLN) @@ -202,17 +197,13 @@ See [Testing CVC4](#Testing-CVC4) below for more details. ## Language bindings -CVC4 provides a complete and flexible C++ API (see `examples/api` for examples). -It further provides Java (see `examples/SimpleVC.java` and `examples/api/java`) -and Python (see `examples/SimpleVC.py`) API bindings. +CVC4 provides a complete and flexible C++ API (see `examples/api` for +examples). It further provides Java (see `examples/SimpleVC.java` and +`examples/api/java`) and Python (see `examples/api/python`) API bindings. -Configure CVC4 with `configure.sh --language-bindings=[java,python,all]` -to build with language bindings. -Note that this requires SWIG >= 3.0.x. +Configure CVC4 with `configure.sh --<lang>-bindings` to build with language +bindings for `<lang>`. -In principle, since we use SWIG to generate the native Java and PythonAPI, -we could support other languages as well. However, using CVC4 from other -languages is not supported, nor expected to work, at this time. If you're interested in helping to develop, maintain, and test a language binding, please contact one of the project leaders. @@ -328,4 +319,3 @@ available on the system. Override with `ARGS=-jN`. Use `-jN` for parallel **building** with `N` threads. - |