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

Author: Roberto Bagnara bagnara@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) \ -@extra_includes@ @JNIFLAGS@ +@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 = \