diff --git a/CMakeLists.txt b/CMakeLists.txt index 079160b7a..869ba9e5a 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -184,6 +184,11 @@ add_custom_command(OUTPUT run-reproduce ) add_custom_target(reproduce DEPENDS run-reproduce) +add_custom_command(OUTPUT show-problems + COMMAND cd test && ./problems +) +add_custom_target(problems DEPENDS show-problems) + # --- set (CPACK_SOURCE_GENERATOR "TGZ") diff --git a/test/problems b/test/problems index 2e738a0c0..4da73f586 100755 --- a/test/problems +++ b/test/problems @@ -121,6 +121,7 @@ if __name__ == "__main__": expected_int = v.format(sum(expected.values())) runtime_str = "Runtime:" + pad(20) runtime_int = "{0:>8.2f} seconds".format(stop - start) + details_str = "For details run 'make problems'" if cmd_args.summary: print(color(passed_str, "green"), passed_int) @@ -129,6 +130,7 @@ if __name__ == "__main__": print(color(skipped_str, "yellow"), skipped_int) print(color(expected_str, "yellow"), expected_int) print(runtime_str, runtime_int) + print(details_str) else: print(color(error_str, "red"))