From 343314896b281230535128df59b26e5b13432ba0 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 1 Nov 2004 14:52:52 +0000
Subject: [PATCH] - Added version info to compilation process.

---
 src/main.c | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/src/main.c b/src/main.c
index a10eb87..1c8b6ea 100644
--- a/src/main.c
+++ b/src/main.c
@@ -83,7 +83,11 @@ const char *progname = "scyther";
  * Note that this is only referenced in the help output of the commandline program.
  * \todo Come up with a useful solution for release names.
  */
-const char *releasetag = "alpha2-devel";
+#ifdef SVNCHANGED
+const char *releasetag = SVNVERSION " [modified]";
+#else
+const char *releasetag = SVNVERSION;
+#endif
 
 //! The main body, as called by the environment.
 int
@@ -248,11 +252,10 @@ main (int argc, char **argv)
   if (version->count > 0)
     {
       printf ("'%s' model checker for security protocols.\n", progname);
-      printf ("%s release.\n", releasetag);
-      printf
-	("$Rev$ $Date$\n");
 #ifdef DEBUG
-      printf ("Compiled with debugging support.\n");
+      printf ("%s, compiled with debugging support.\n", releasetag);
+#else
+      printf ("%s\n", releasetag);
 #endif
       printf ("December 2003--, Cas Cremers\n");
       exitcode = 0;