From 3328dd1f8dc784021e6bc0350cabc93b44b582c4 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 3 Sep 2015 13:52:32 +0000 Subject: Java API for opening/closing SG databases --- src/runtime/java/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/runtime/java/Makefile') diff --git a/src/runtime/java/Makefile b/src/runtime/java/Makefile index cb8000fd2..ccbd901e1 100644 --- 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) -- cgit v1.2.3