projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee9fd3e) | patch
cmake: Install JAR and JNI files for Java bindings. (#3002)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 15 May 2019 23:26:06 +0000 (16:26 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 May 2019 23:26:06 +0000 (23:26 +0000)
commitfc8907afc08d7b418471a537f9c23e9964df82df
treee4b249224877a53a9e6459b09b0fff98932a98d4tree
parentee9fd3e11b761bddfc1042ddf735be152f400a43commit | diff
cmake: Install JAR and JNI files for Java bindings. (#3002)

Default install paths are:
  - libcvc4jni.so in /usr/lib/
  - CVC4.jar in /usr/share/java/cvc4

Fixes #2990.
src/bindings/java/CMakeLists.txt diff | blob | history