[gtkada] Re: GATE: Internal error.

[Jacob Sparre Andersen]

The problem is resolved now (on my installation).  The
problem is that `gate-in.exe` for some reason breaks if the
environment variable "TMPDIR" is set.

The following patch to the `gate` script works around the
problem:

-----------------------------------------------------------
--- /tmp/gate.old       2004-09-24 17:18:02.000000000 +0200
+++ /usr/bin/gate       2004-09-24 17:16:19.000000000 +0200
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+unset TMPDIR
+
 if [ $# -eq 0 ]; then
   echo "Usage: gate project-file"
   exit 1
-----------------------------------------------------------

Jacob
-- 
There only exist 10 kinds of people: Those who know binary
numbers and those who don't know binary numbers.