diff options
| author | Sven Gothel <[email protected]> | 2020-09-08 13:10:16 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-09-15 00:24:42 +0200 |
| commit | 24cc8c1bca73f484d21fe8a8b2ab8b0c39d71097 (patch) | |
| tree | b483d30a03a5a8e478d2430260eef87c6f8dfb2f /test | |
| parent | f55316db7ff3e27678e92947ba33abc53b3bacb7 (diff) | |
Only generate JNI headers when Java sources have been modified, i.e. when Jar file is being build.
JNI header generation is satisfied by 'add_jar(.. GENERATE_NATIVE_HEADERS <target> DESTINATION <dir>)',
note that its GENERATE_NATIVE_HEADERS target is a dummy target, since jni/direct_bt defines target javadirect_bt.
Weakness of not directly checking build dependency of javadirect_bt against generated headers exists,
however, it is unrealistic to assume that the transient generated JNI header will be edited manually
within the process.
Therefor we can use the dummy target javadirect_bt_javah and JNI header generation will only
occur when java sources have been modified, i.e. the jar file being actually build.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions