[PPL-devel] [GIT] ppl/ppl(master): Support building the Java interface on MinGW.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 98369e2afded08aa35a1b0810ceebac3d0decd36
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98369e2afded08aa35a1b0810ceebac3d0decd36

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Dec 30 17:35:21 2009 +0100

Support building the Java interface on MinGW.

---

 interfaces/Java/jni/Makefile.am |   20 +++++++++++++++++++-
 1 files changed, 19 insertions(+), 1 deletions(-)

diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am
index 28dd6e1..05e00b2 100644
--- a/interfaces/Java/jni/Makefile.am
+++ b/interfaces/Java/jni/Makefile.am
@@ -43,13 +43,19 @@ WATCHDOG_INCLUDE_OPTIONS = -I$(top_builddir)/Watchdog/src
 
 endif BUILD_WATCHDOG_LIBRARY
 
+if HOST_OS_MINGW
+
+JNI_DEFINE_OPTIONS = -D_JNI_IMPLEMENTATION_
+
+endif HOST_OS_MINGW
+
 AM_CPPFLAGS = \
 -I$(top_srcdir)/interfaces \
 -I$(top_builddir)/src \
 -I../parma_polyhedra_library \
 -I$(top_srcdir)/src \
 $(WATCHDOG_INCLUDE_OPTIONS) \
- at extra_includes@ @JNIFLAGS@
+ at extra_includes@ @JNIFLAGS@ $(JNI_DEFINE_OPTIONS)
 
 BUILT_SOURCES = \
 ppl_java_implementation_domains.cc.stamp
@@ -74,11 +80,23 @@ $(NO_UNDEFINED_FLAG) \
 
 else !HOST_OS_DARWIN
 
+if HOST_OS_MINGW
+
+libppl_java_la_LDFLAGS = \
+$(NO_UNDEFINED_FLAG) \
+-module \
+-avoid-version \
+-Wl,--kill-at
+
+else !HOST_OS_MINGW
+
 libppl_java_la_LDFLAGS = \
 $(NO_UNDEFINED_FLAG) \
 -module \
 -avoid-version
 
+endif !HOST_OS_MINGW
+
 endif !HOST_OS_DARWIN
 
 libppl_java_la_SOURCES = \