Create goto-gcc symlink in cmake builds and enable goto-gcc tests

Fixes: #1500

Author: tautschnig

regression/CMakeLists.txt

@@ -34,6 +34,9 @@ add_subdirectory(goto-cc-goto-analyzer)
 add_subdirectory(goto-diff)
 add_subdirectory(goto-instrument)
 add_subdirectory(goto-instrument-typedef)
+if(NOT WIN32)
+  add_subdirectory(goto-gcc)
+endif()
 add_subdirectory(invariants)
 add_subdirectory(jbmc-strings)
 add_subdirectory(strings)

regression/goto-gcc/CMakeLists.txt

@@ -0,0 +1,4 @@
+# TARGET_FILE (as used in other directories) can't be used with goto-gcc as it
+# isn't marked as an executable (target), which CMake requires. Thus construct a
+# path in the same way the symbolic link is created in the goto-cc directory.
+add_test_pl_tests("$<TARGET_FILE_DIR:goto-cc>/goto-gcc")

src/goto-cc/CMakeLists.txt

@@ -29,4 +29,9 @@ target_link_libraries(goto-cc goto-cc-lib)
 
 if(WIN32)
   set_target_properties(goto-cc PROPERTIES OUTPUT_NAME goto-cl)
+else()
+  add_custom_command(TARGET goto-cc
+    POST_BUILD
+    COMMAND "${CMAKE_COMMAND}" -E create_symlink
+      goto-cc $<TARGET_FILE_DIR:goto-cc>/goto-gcc)
 endif()