Test loading files from an archive

The test requires building platform-specific code, and thus additional rules
were added to the Makefile.

Author: tautschnig

regression/goto-gcc/CMakeLists.txt

@@ -2,3 +2,14 @@
 # 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")
+
+add_custom_command(OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/archives/libour_archive.a"
+    COMMAND "$<TARGET_FILE_DIR:goto-cc>/goto-gcc" -c foo.c
+    COMMAND ${CMAKE_AR} rcs libour_archive.a foo.o
+    DEPENDS "$<TARGET_FILE_DIR:goto-cc>/goto-gcc"
+    WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/archives"
+)
+
+add_custom_target(libour_archive.a ALL
+    DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/archives/libour_archive.a"
+)

regression/goto-gcc/Makefile

@@ -1,13 +1,20 @@
 default: tests.log
 
-test:
-	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
+test: ../../src/goto-cc/goto-gcc
 	@../test.pl -p -c ../../../src/goto-cc/goto-gcc
 
-tests.log: ../test.pl
-	-@ln -s goto-cc ../../src/goto-cc/goto-gcc
+tests.log: ../test.pl ../../src/goto-cc/goto-gcc
 	@../test.pl -p -c ../../../src/goto-cc/goto-gcc
 
+../../src/goto-cc/goto-gcc: ../../src/goto-cc/goto-cc
+	@ln -sf goto-cc ../../src/goto-cc/goto-gcc
+
+test tests.log: archives/libour_archive.a
+archives/libour_archive.a: archives/foo.c ../../src/goto-cc/goto-gcc
+	@cd archives && \
+		../../../src/goto-cc/goto-gcc -c foo.c && \
+		$(AR) rcs libour_archive.a foo.o
+
 show:
 	@for dir in *; do \
 	  if [ -d "$$dir" ]; then \
@@ -19,4 +26,4 @@ clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
 	find -name '*.goto-cc-saved' -execdir $(RM) '{}' \;
-	$(RM) tests.log
+	$(RM) tests.log archives/lib_ourarchive.a archives/foo.o

regression/goto-gcc/archives/foo.c

@@ -0,0 +1,4 @@
+int foo()
+{
+  return 0;
+}

regression/goto-gcc/archives/main.c

@@ -0,0 +1,6 @@
+int foo();
+
+int main()
+{
+  return foo();
+}

regression/goto-gcc/archives/test.desc

@@ -0,0 +1,14 @@
+CORE
+10
+main.c -L. -lour_archive --verbosity
+^EXIT=0$
+^SIGNAL=0$
+^Reading: .*/foo.o$
+--
+^warning: ignoring
+^CONVERSION ERROR$
+--
+We need to make sure main.c is listed before the archive for the Linux linker to
+pick up dependencies - thus "main.c" is given as an argument on line 3 in this
+file and the "10" in line 2 is a dummy to be appended at the end, setting the
+verbosity as needed.