diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-05-15 16:26:06 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-05-15 23:26:06 +0000 |
| commit | fc8907afc08d7b418471a537f9c23e9964df82df (patch) | |
| tree | e4b249224877a53a9e6459b09b0fff98932a98d4 /CONTRIBUTING.md | |
| parent | ee9fd3e11b761bddfc1042ddf735be152f400a43 (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.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions