From 279a057d8007f14790cacc854bac3f4f0c1218a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 25 May 2014 10:21:28 +0100
Subject: [PATCH] use mktemp instead of tmpname

---
 library/system/sys.c | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/library/system/sys.c b/library/system/sys.c
index 89ebc52ec..35eadc50d 100644
--- a/library/system/sys.c
+++ b/library/system/sys.c
@@ -140,7 +140,7 @@
 #endif
 #endif
 
-void PROTO(init_sys, (void));
+void init_sys(void);
 
 #if defined(__MINGW32__) || _MSC_VER
 static YAP_Term
@@ -494,7 +494,12 @@ p_mktemp(void)
 static int
 p_tmpnam(void)
 {
-#if HAVE_TMPNAM
+#if HAVE_MKTEMP
+  char *s;
+  if (!(s = mktemp("/tmp/YAP_tmpXXXXXXXX")))
+    return FALSE;
+  return YAP_Unify(YAP_ARG1,YAP_MkAtomTerm(YAP_LookupAtom(s)));
+#elif HAVE_TMPNAM
   char buf[L_tmpnam], *s;
   if (!(s = tmpnam(buf)))
     return FALSE;