GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/GrammaticalFramework/GF

Browse Source
This commit is contained in:
Krasimir Angelov
2018-05-21 09:37:33 +02:00
parent a6779486c5 41af91f697
commit e6ae55641f
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/runtime/java/INSTALL
View File

@@ -1,10 +1,12 @@
Before compiling the Java binding you first need to have the C runtime Before compiling the Java binding you first need to have the C runtime
compiled and installed. You also need to find where your jni.h header compiled and installed. You also need to find where your jni.h header
is installed. It is part of the Java JDK, but it might be placed is installed. It is part of the Java JDK, but it might be placed
in different places on different platforms. The path to the jni.h in different places on different platforms.
header should be assigned to the JNI_PATH variable in the beginning The Makefile in this directory will try to figure out the location of
of the Makefile that you will find in the root directory of jni.h, but if it doesn't succeed you should add it manually to the
the binding. Once this is done type: JNI_INCLUDES variable in the beginning of the Makefile.
Once this is done type:
$ make $ make
$ make install $ make install

2
src/runtime/java/Makefile
View File

@@ -3,7 +3,7 @@ JAVA_SOURCES = $(wildcard org/grammaticalframework/pgf/*.java) \
$(wildcard org/grammaticalframework/sg/*.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, \ 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, \ $(if $(wildcard /Library/Java/Home/include/.*), -I/Library/Java/Home/include/ -I/Library/Java/Home/include/darwin, \
$(error No JNI headers found)))) $(error No JNI headers found))))