From 445ee20643f0545ab97d1ea263728cdb092d7575 Mon Sep 17 00:00:00 2001 From: kevlened Date: Mon, 25 Nov 2013 23:44:46 -0500 Subject: [PATCH] Fixed platform selection error --- setup.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/setup.py b/setup.py index aa56387..d992005 100644 --- a/setup.py +++ b/setup.py @@ -78,9 +78,14 @@ else: raise Exception('Unable to determine JRE_HOME') cpu = 'i386' if sys.maxint == 2147483647 else 'amd64' + if platform == 'win32': + incl_dir = join(jdk_home, 'include', 'win32') + else: + incl_dir = join(jdk_home, 'include', 'linux') + include_dirs = [ join(jdk_home, 'include'), - join(jdk_home, 'include', platform)] + incl_dir] if platform == 'win32': library_dirs = [ join(jdk_home, 'lib'),