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