Merge pull request #7373 from tautschnig/feature/rebuild

ansi-c tests: add Makefile rule to rebuild goto binaries

Author: tautschnig

regression/ansi-c/Makefile

@@ -52,6 +52,15 @@ ifneq ($(BUILD_ENV_),MSVC)
 	@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
 endif
 
+build_goto_binaries:
+	uname -m | grep x86_64
+	cd arch_flags_mcpu_bad ; $(exe) -c source.c -o object.intel
+	cd arch_flags_mcpu_good ; \
+		$(exe) -o object.arm --native-compiler=arm-none-eabi-gcc -mcpu=cortex-a15 -c source.c
+	cd arch_flags_mthumb_bad ; $(exe) -c source.c -o object.intel
+	cd arch_flags_mthumb_good ; \
+		$(exe) -o object.arm --native-compiler=arm-none-eabi-gcc -mthumb -c source.c
+
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;

regression/ansi-c/arch_flags_mcpu_bad/test.desc

@@ -13,6 +13,9 @@ on a 64-bit platform:
 
   goto-cc -c source.c -o object.intel
 
+Use `make build_goto_binaries` in the parent directory to run the above for this
+and all other directories containing binaries.
+
 preproc.i is already pre-processed so that it can be linked in without
 needing to invoke a pre-processor from a cross-compile toolchain on your
 local machine. Linking it together with the Intel object file, while

regression/ansi-c/arch_flags_mcpu_good/test.desc

@@ -23,6 +23,9 @@ using:
 
 which will install arm-none-eabi-gcc (amongst other things).
 
+Use `make build_goto_binaries` in the parent directory to run the above for this
+and all other directories containing binaries.
+
 preproc.i is already pre-processed so that it can be linked in without
 needing to invoke a pre-processor from a cross-compile toolchain on your
 local machine. Linking it together with the ARM object file, while

regression/ansi-c/arch_flags_mthumb_bad/test.desc

@@ -13,6 +13,9 @@ file 'object.intel' was compiled from 'source.c' with goto-cc on a
 
   goto-cc -c source.c -o object.intel
 
+Use `make build_goto_binaries` in the parent directory to run the above for this
+and all other directories containing binaries.
+
 preproc.i is already pre-processed so that it can be linked in without
 needing to invoke a pre-processor from a cross-compile toolchain on your
 local machine. Linking it together with the Intel object file, while

regression/ansi-c/arch_flags_mthumb_good/test.desc

@@ -23,6 +23,9 @@ using:
 
 which will install arm-none-eabi-gcc (amongst other things).
 
+Use `make build_goto_binaries` in the parent directory to run the above for this
+and all other directories containing binaries.
+
 preproc.i is already pre-processed so that it can be linked in without
 needing to invoke a pre-processor from a cross-compile toolchain on your
 local machine. Linking it together with the ARM object file, while