diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 16 |
1 files changed, 2 insertions, 14 deletions
@@ -183,20 +183,8 @@ particular, jni.h). You might do so with (for example): ./configure --enable-language-bindings=java \ JAVA_CPPFLAGS=-I/usr/lib/jvm/java-6-openjdk-amd64/include -There is also a "C++ compatibility API" (#include <cvc4/cvc3_compat.h> -and link against libcvc4compat.so) that attempts to maintain -source-level backwards-compatibility with the CVC3 C++ API. The -compatibility library is built by default, and ---enable-language-bindings=java enables the Java compatibility library -(CVC4compat.jar and libcvc4compatjni.so). ---enable-language-bindings=c enables the C compatibility library -(#include <cvc4/bindings/compat/c/c_interface.h> and link against -libcvc4bindings_c_compat.so), and if you want both C and Java -bindings, use --enable-language-bindings=c,java. These compatibility -language bindings do NOT require SWIG. - -The examples/ directory includes some basic examples (the "simple vc" -and "simple vc compat" family of examples) of all these interfaces. +The examples/ directory includes some basic examples (the "simple vc" family of +examples) of all these interfaces. In principle, since we use SWIG to generate the native Java API, we could support other languages as well. However, using CVC4 from other |