Description: TMPDIR honouring
Origin: debian
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2013-12-30

Index: gap-4r7p4/src/sysfiles.c
===================================================================
--- gap-4r7p4.orig/src/sysfiles.c	2014-02-28 18:58:39.316715315 +0100
+++ gap-4r7p4/src/sysfiles.c	2014-02-28 19:02:23.956242025 +0100
@@ -3736,7 +3736,13 @@
 {
   static char name[1024];
   static const char *base = TMPDIR_BASE;
-  strxcpy(name, base, sizeof(name));
+  char * env_tmpdir;
+  if ((env_tmpdir = getenv("TMPDIR")) != NULL) {
+    strxcpy(name, env_tmpdir, sizeof(name));
+    strxcat(name, "/", sizeof(name));
+  }
+  else
+    strxcpy(name, base, sizeof(name));
   if (hint)
     strxcat(name, hint, sizeof(name));
   else
