From f73d7ef5f608772f4ca6bc91720374c73dbcfd3f Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 25 Jul 2011 23:51:45 +0100 Subject: [PATCH] fixes for WIN32 compilation. --- packages/PLStream/pl-incl.h | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/packages/PLStream/pl-incl.h b/packages/PLStream/pl-incl.h index 362371302..281bb9849 100755 --- a/packages/PLStream/pl-incl.h +++ b/packages/PLStream/pl-incl.h @@ -5,6 +5,12 @@ #define O_GMP 1 #endif +#ifdef __WINDOWS__ +#include +#include +#define O_HASDRIVES 1 +#endif + #ifndef PL_CONSOLE #define PL_KERNEL 1 #endif @@ -18,10 +24,6 @@ #endif #include "Yap.h" -#ifdef __WINDOWS__ -#include -#include -#endif #include "YapHeap.h" /* try not to pollute the SWI space */ #ifdef P