diff options
| author | krasimir <krasimir@chalmers.se> | 2015-11-27 15:35:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-11-27 15:35:53 +0000 |
| commit | 545e1a0cc8850e80df0e283d003d21efb1be7f83 (patch) | |
| tree | 418d2124d464f8a045e948a58a4de993a8f32b4a | |
| parent | 724b8aa8aec953162465c618ca37d0509cfab8e5 (diff) | |
fix in the Java binding: the Expr class should also ensure that libjpgf.so is loaded to avoid failures if Expr is the first class that is used.
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Expr.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java index f576f681a..f3ed47871 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java @@ -54,4 +54,8 @@ public class Expr implements Serializable { master = e.master; ref = e.ref; } + + static { + System.loadLibrary("jpgf"); + } } |
