Java API for opening/closing SG databases

2015-09-03 13:52:32 +00:00
parent 2be83cae2d
commit 5bcc2741fe
8 changed files with 259 additions and 91 deletions
--- a/src/runtime/java/Makefile
+++ b/src/runtime/java/Makefile
@@ -1,4 +1,4 @@
-C_SOURCES = jpgf.c jsg.c
+C_SOURCES = jpgf.c jsg.c jni_utils.c
 JAVA_SOURCES = $(wildcard org/grammaticalframework/pgf/*.java) \
               $(wildcard org/grammaticalframework/sg/*.java)