From 1aca8460a31ae4662da4f3d42375fc9f03743762 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 29 Dec 2005 09:25:42 +0000
Subject: [PATCH] - SCYTHERDIR environment variable is now used:
 colon-separated list of   directories to search. Oblivious to trailing
 slashes.

---
 src/switches.c | 94 +++++++++++++++++++++++++++++++++++++++++++++++++-
 src/todo.txt   |  3 +-
 2 files changed, 94 insertions(+), 3 deletions(-)

diff --git a/src/switches.c b/src/switches.c
index 52371ac..355c7a9 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -109,6 +109,98 @@ switchesDone (void)
 {
 }
 
+//! Open a (protocol) file instead of stdin
+/**
+ * Uses the environment variable SCYTHERDIR to also search for files
+ */
+int
+openFileStdin (char *filename)
+{
+  const char *separators = ":;\n";
+  char *dirs;
+
+  //! try a filename and a prefix.
+  int try (char *prefix)
+  {
+    char *buffer = NULL;
+    int result = false;
+    int buflen = 0;
+    int prefixlen = 0;
+    int namelen = 0;
+    int addslash = false;
+    int nameindex = 0;
+
+    prefixlen = (int) strcspn (prefix, separators);
+    namelen = strlen (filename);
+    nameindex = prefixlen;
+
+    buflen = prefixlen + namelen + 1;
+
+    // Does the prefix end with a slash? (it should)
+    if (nameindex > 0 && prefix[nameindex - 1] != '/')
+      {
+	addslash = true;
+	buflen++;
+	nameindex++;
+      }
+
+    buffer = (char *) memAlloc (buflen);
+    memcpy (buffer, prefix, prefixlen);
+    memcpy (buffer + nameindex, filename, namelen);
+    buffer[buflen - 1] = '\0';
+
+    // Add the slash in the center
+    if (addslash)
+      {
+	buffer[nameindex - 1] = '/';
+      }
+
+    // Now try to open it
+    if (freopen (buffer, "r", stdin) != NULL)
+      {
+	result = true;
+      }
+
+    memFree (buffer, buflen);
+    return result;
+  }
+
+  // main code.
+
+  if (try (""))
+    {
+      return true;
+    }
+
+  // Now try the environment variable
+  dirs = getenv ("SCYTHERDIR");
+  while (dirs != NULL)
+    {
+      if (strlen (dirs) > 0)
+	{
+	  // try this one
+	  if (try (dirs))
+	    {
+	      return true;
+	    }
+	  // skip to next
+	  dirs = strpbrk (dirs, separators);
+	  if (dirs != NULL)
+	    {
+	      // skip over separator
+	      dirs++;
+	    }
+	}
+      else
+	{
+	  break;
+	}
+    }
+
+  // Nope
+  return false;
+}
+
 //! Process a single switch or generate help text
 /**
  * When process is false, we just generate the help text.
@@ -971,7 +1063,7 @@ switcher (const int process, int index, int commandline)
       else
 	{
 	  // not '-' input: change stdin to come from this file
-	  if (!freopen (this_arg, "r", stdin))
+	  if (!openFileStdin (this_arg))
 	    {
 	      // The file was not found. We have two options...
 	      if (this_arg[0] == '-')
diff --git a/src/todo.txt b/src/todo.txt
index 9ce82d9..ccd7d92 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,5 +1,4 @@
-- Add SCYTHERDIR environment variable: colon-separated list of
-  directories to search for input files.
+- Maybe add warning for type of matching in the output, maybe stderr.
 - SConstruct file should check whether ctags actually exists (avoiding
   errors)
 - Proof output should be XML, with an external converter to dot format.