Update version

cmake/version.cmake

@@ -2,7 +2,7 @@ set(CMAKE_PROJECT_NAME "qasp")
 set(CMAKE_PROJECT_VERSION_MAJOR "1")
 set(CMAKE_PROJECT_VERSION_MINOR "0")
 set(CMAKE_PROJECT_VERSION_PATCH "0")
-set(CMAKE_PROJECT_VERSION_TWEAK "102")
+set(CMAKE_PROJECT_VERSION_TWEAK "rc.4")
 set(CMAKE_PROJECT_DESCRIPTION "Solving ASP problems with quantifiers over stable models")
 set(CMAKE_PROJECT_HOMEPAGE_URL "https://github.com/kwrx/qasp")
 

src/main.cc

@@ -46,9 +46,10 @@
 
 static void show_usage(int argc, char** argv) {
 
-    std::cout 
-        << "Use: " << QASP_PROGRAM_NAME << " [OPTIONS] SOURCES...\n"
-        << "Process qasp SOURCES and blabla...\n\n"
+    std::cout
+        << QASP_PROGRAM_GREETINGS << "\n"
+        << "usage: " << QASP_PROGRAM_NAME << " [OPTIONS] SOURCES...\n\n"
+        << "Process qasp SOURCES and computes quantified models.\n\n"
 #if defined(HAVE_MODE_LOOK_AHEAD)
         << "    -l, --look-ahead            proving satisfiability by looking ahead\n"
 #endif
@@ -78,16 +79,16 @@ static void show_version(int argc, char** argv) {
         << " (asp-utils) "
         << QASP_VERSION_MAJOR << "."
         << QASP_VERSION_MINOR << "."
-        << QASP_VERSION_PATCH << "."
+        << QASP_VERSION_PATCH << "-"
         << QASP_VERSION_TWEAK << "\n"
         << "Copyright (C) "
         << (&__DATE__[7]) << " Antonino Natale\n"
         << "This is free software; see the source for copying conditions.  There is NO\n"
         << "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"
         << "Built with "
         << QASP_COMPILER_NAME       << " "
-        << QASP_COMPILER_VERSION    << "(" 
-        << __TIMESTAMP__            << ")\n";
+        << QASP_COMPILER_VERSION    << " "
+        << "(" << __TIMESTAMP__     << ")\n";
 
 
     exit(EXIT_FAILURE);