diff options
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. - |