Update Sources

Author: kwrx

CMakeLists.txt

@@ -50,7 +50,7 @@ enable_testing()
 add_subdirectory(src)
 add_subdirectory(test)
 
-install(TARGETS qasp wasp
+install(TARGETS qaspcli qasp wasp
     RUNTIME PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_WRITE WORLD_READ WORLD_WRITE
     ARCHIVE PERMISSIONS OWNER_READ OWNER_WRITE GROUP_READ GROUP_WRITE WORLD_READ WORLD_WRITE
     LIBRARY PERMISSIONS OWNER_READ OWNER_WRITE GROUP_READ GROUP_WRITE WORLD_READ WORLD_WRITE

src/main.cc

@@ -36,7 +36,7 @@ static void show_usage(int argc, char** argv) {
         << "Use: " << QASP_PROGRAM_NAME << " [OPTIONS] SOURCES...\n"
         << "Process qasp SOURCES and blabla...\n\n"
         << "    -j N, --parallel=N          allow N jobs at once.\n"
-        << "    -n N, --iterations=N        iterate solving N times (infinite: N <- 0).\n"
+        << "    -n N, --iterations=N        iterate solving N times (infinite: N <= 0).\n"
         << "    -q, --quiet                 hide log information.\n"
         << "        --help                  print this message and exit.\n"
         << "        --version               print version info and exit.\n";