diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-05-21 09:10:19 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-05-21 09:10:19 +0200 |
| commit | ba4057b214c4a655064133b07f5a4428a69f4252 (patch) | |
| tree | a6a01fe2b6c0102a0e7d204b7ba4d1d9d6287348 /src/runtime/java | |
| parent | 1c7e99cdca020ccb1e55b067961813a7752eba3b (diff) | |
Missing -I in Java bindings Makefile
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/java/Makefile b/src/runtime/java/Makefile index b7a7264cc..02083ddac 100644 --- a/src/runtime/java/Makefile +++ b/src/runtime/java/Makefile @@ -3,7 +3,7 @@ JAVA_SOURCES = $(wildcard org/grammaticalframework/pgf/*.java) \ $(wildcard org/grammaticalframework/sg/*.java) JNI_INCLUDES = $(if $(wildcard /usr/lib/jvm/default-java/include/.*), -I/usr/lib/jvm/default-java/include -I/usr/lib/jvm/default-java/include/linux, \ - $(if $(wildcard /System/Library/Frameworks/JavaVM.framework/Versions/A/Headers/.*), /System/Library/Frameworks/JavaVM.framework/Versions/A/Headers, \ + $(if $(wildcard /System/Library/Frameworks/JavaVM.framework/Versions/A/Headers/.*), -I/System/Library/Frameworks/JavaVM.framework/Versions/A/Headers, \ $(if $(wildcard /Library/Java/Home/include/.*), -I/Library/Java/Home/include/ -I/Library/Java/Home/include/darwin, \ $(error No JNI headers found)))) |