From cb592d1ddcfd5387527360a66d7860202075812a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 6 Feb 2012 11:11:50 +0000
Subject: [PATCH] fix configure for win64.

---
 configure    | 1 +
 configure.in | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/configure b/configure
index f18c5248d..39fb00e23 100755
--- a/configure
+++ b/configure
@@ -5648,6 +5648,7 @@ then
   then
     if test "$target_win64" = yes
     then
+      @      target_cpu=x86_64
 
 { echo "$as_me:$LINENO: checking for main in -lws2_32" >&5
 echo $ECHO_N "checking for main in -lws2_32... $ECHO_C" >&6; }
diff --git a/configure.in b/configure.in
index eefef95e7..3856b5877 100755
--- a/configure.in
+++ b/configure.in
@@ -670,6 +670,8 @@ then
   then
     if test "$target_win64" = yes
     then
+      @dnl configure messes up badly on this.
+      target_cpu=x86_64
       AC_CHECK_LIB(ws2_32,main)
       EXTRA_LIBS_FOR_DLLS="-lws2_32"
     elif test "$target_os" = "cygwin"