upgrade to latest SWI.

This commit is contained in:
Vítor Santos Costa 2012-01-25 22:31:34 -06:00
parent 20de9c3090
commit 54faa59eb1

View File

@ -19,19 +19,29 @@
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
#include "pl-incl.h"
#include "pl-dtoa.h"
#ifdef WORDS_BIGENDIAN
#define IEEE_MC68k 1
#else
#define IEEE_8087 1
#endif
#define MALLOC PL_malloc
#define FREE PL_free
#if defined(_REENTRANT)
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Long must be a 32-bit int. For now we use int. Ideally we would use
int32_t, but MS does not yet support stdint.h.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
#define Long int /* 32-bits */
#ifdef _REENTRANT
#define MULTIPLE_THREADS
/* TBD: Use the pl-thread.[ch] locks for better speed on Windows
@ -56,8 +66,6 @@ FREE_DTOA_LOCK(int n)
pthread_mutex_unlock(&mutex_1);
}
#elif defined(__YAP_PROLOG__)
#define Long int /* 32-bits */
#endif /*MULTIPLE_THREADS*/
#include "dtoa.c"