From 141c25386d916b7d3a5fa0834eb5350ca9a88273 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Tue, 17 Jul 2018 19:35:39 +0100
Subject: [PATCH] ReactICS

---
 Makefile               | 6 +++---
 main.cc => reactics.cc | 8 ++++----
 main.hh => reactics.hh | 6 +++---
 3 files changed, 10 insertions(+), 10 deletions(-)
 rename main.cc => reactics.cc (96%)
 rename main.hh => reactics.hh (81%)

diff --git a/Makefile b/Makefile
index 40d229f..8317c63 100644
--- a/Makefile
+++ b/Makefile
@@ -12,13 +12,13 @@ LDLIBS = $(CUDD_INCLUDE)
 
 OBJ = rs.o ctx_aut.o symrs.o mc.o rsin_driver.o rsin_parser.o rsin_parser.lex.o formrsctlk.o 
 
-all: main
+all: reactics
 
 cleanly:
 	rm -f *.lex.cc *.lex.o location.hh stack.hh position.hh rsin_parser.cc rsin_parser.hh
 
 clean: cleanly
-	rm -f *.o main *.orig *~ makefile.dep tags
+	rm -f *.o reactics *.orig *~ makefile.dep tags
 
 cleanall: clean
 
@@ -27,7 +27,7 @@ makefile.dep: *.cc *.hh
 
 include makefile.dep
 
-main: main.o $(OBJ)
+reactics: reactics.o $(OBJ)
 
 rsin_parser.hh: rsin_parser.cc
 
diff --git a/main.cc b/reactics.cc
similarity index 96%
rename from main.cc
rename to reactics.cc
index 85d3f71..f8b98b1 100644
--- a/main.cc
+++ b/reactics.cc
@@ -6,7 +6,7 @@
     without the author's permission is strictly prohibited.
 */
 
-#include "main.hh"
+#include "reactics.hh"
 
 int main(int argc, char **argv)
 {
@@ -217,9 +217,9 @@ int main(int argc, char **argv)
 void print_help(std::string path_str)
 {
   cout << endl
-       << " ------------------------------------" << endl
-       << " -- Reaction Systems Model Checker --" << endl
-       << " ------------------------------------" << endl
+       << " ------------------------------------------------" << endl
+       << " -- ReactICS -- Reaction Systems Model Checker --" << endl
+       << " ------------------------------------------------" << endl
        << endl
        << "   Version:   " << VERSION << endl
        << "   Contact:   " << AUTHOR << endl
diff --git a/main.hh b/reactics.hh
similarity index 81%
rename from main.hh
rename to reactics.hh
index b359869..8b6bfc7 100644
--- a/main.hh
+++ b/reactics.hh
@@ -3,8 +3,8 @@
     Artur Meski <meski@ipipan.waw.pl>
 */
 
-#ifndef RS_MAIN_HH
-#define RS_MAIN_HH
+#ifndef REACTICS_HH
+#define REACTICS_HH
 
 #include <iostream>
 #include <string>
@@ -20,7 +20,7 @@
 #include "memtime.hh"
 
 #define VERSION     "2.0 ALPHA"
-#define AUTHOR      "Artur Meski <meski@ipipan.waw.pl>"
+#define AUTHOR      "Artur Meski <artur.meski@gmail.com>"
 using std::cout;
 using std::endl;