From e4bbd59b6e7e3abc78df48717ec249e74b1fcac4 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 11 Aug 2006 17:15:39 +0000 Subject: [PATCH] - Added release information. --- src/release.h | 1 + src/switches.c | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 src/release.h diff --git a/src/release.h b/src/release.h new file mode 100644 index 0000000..48a0de8 --- /dev/null +++ b/src/release.h @@ -0,0 +1 @@ +#define RELEASEVERSION "1.0-beta 4" diff --git a/src/switches.c b/src/switches.c index 96398cb..3e095a9 100644 --- a/src/switches.c +++ b/src/switches.c @@ -15,6 +15,8 @@ #include "error.h" #include "specialterm.h" +#include "release.h" + // Program name const char *progname = "scyther"; @@ -1175,12 +1177,16 @@ switcher (const int process, int index, int commandline) else { printf ("'%s' model checker for security protocols.\n", progname); + printf ("Version %s.\n", RELEASEVERSION); + if (switches.expert) + { #ifdef DEBUG printf ("Revision %s, compiled with debugging support.\n", SVNVERSION); #else printf ("Revision %s\n", SVNVERSION); #endif + } printf ("Code by Cas Cremers\n"); exit (0); }