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 = \