[Ada] Add ghost code to facilitate proof with SPARK
[official-gcc.git] / contrib / config-list.mk
blobe042105561a90e40a8ae33ab68998e4cb765bb55
1 # Run tests covering all config.gcc cases.
2 host_options='--with-mpc=/opt/cfarm/mpc' # gcc10
3 TEST=all-gcc
4 # Make sure you have a recent enough gcc (with ada support) in your path so
5 # that --enable-werror-always will work.
6 # To use, create a build directory with plenty of free disk space - a build of
7 # all configurations can take 450GB.
8 # By default, this file assumes the build directory is in a sibling directory
9 # to the gcc sources, but you can override GCC_SRC_DIR to specify where to
10 # find them. GCC_SRC_DIR is used in the directory below the build directory,
11 # hence the two ".." in the default value; if overriding it, it's easiest to
12 # supply an absolute path.
13 GCC_SRC_DIR=../../gcc
15 # Use -j / -l make arguments and nice to assure a smooth resource-efficient
16 # load on the build machine, e.g. for 24 cores:
17 # svn co svn://gcc.gnu.org/svn/gcc/branches/foo-branch gcc
18 # mkdir multi-mk; cd multi-mk
19 # nohup nice make -j25 -l36 -f ../gcc/contrib/config-list.mk > make.out 2>&1 &
21 # Alternatively, if building against an existing gcc source tree:
23 # cd /somewhere/with/plenty/of/disk/space
24 # mkdir multi-mk; cd multi-mk
25 # nohup nice make \
26 # -j25 -l36 \
27 # -f /path/to/contrib/config-list.mk \
28 # GCC_SRC_DIR=/path/to/gcc/source/tree \
29 # > make.out 2>&1 &
32 LIST = aarch64-elf aarch64-linux-gnu aarch64-rtems \
33 alpha-linux-gnu alpha-netbsd alpha-openbsd \
34 alpha64-dec-vms alpha-dec-vms \
35 amdgcn-amdhsa \
36 arc-elf32OPT-with-cpu=arc600 arc-elf32OPT-with-cpu=arc700 \
37 arc-linux-uclibcOPT-with-cpu=arc700 arceb-linux-uclibcOPT-with-cpu=arc700 \
38 arm-netbsdelf \
39 arm-linux-androideabi arm-uclinux_eabi arm-eabi arm-rtems \
40 arm-symbianelf avr-elf \
41 bfin-elf bfin-uclinux bfin-linux-uclibc bfin-rtems bfin-openbsd \
42 bpf-unknown-none \
43 c6x-elf c6x-uclinux cr16-elfOPT-enable-obsolete cris-elf \
44 csky-elf csky-linux-gnu \
45 epiphany-elf epiphany-elfOPT-with-stack-offset=16 fido-elf \
46 fr30-elf frv-elf frv-linux ft32-elf h8300-elf hppa-linux-gnu \
47 hppa-linux-gnuOPT-enable-sjlj-exceptions=yes hppa64-linux-gnu \
48 hppa2.0-hpux10.1OPT-enable-obsolete hppa64-hpux11.3 \
49 hppa64-hpux11.0OPT-enable-sjlj-exceptions=yes \
50 hppa2.0-hpux11.9OPT-enable-obsolete \
51 i686-pc-linux-gnu i686-apple-darwin i686-apple-darwin9 i686-apple-darwin10 \
52 i486-freebsd4 i686-freebsd6 i686-kfreebsd-gnu \
53 i686-netbsdelf9 \
54 i686-openbsd i686-elf i686-kopensolaris-gnu i686-symbolics-gnu \
55 i686-pc-msdosdjgpp i686-lynxos i686-nto-qnx \
56 i686-rtems i686-solaris2.11 i686-wrs-vxworks \
57 i686-wrs-vxworksae \
58 i686-cygwinOPT-enable-threads=yes i686-mingw32crt ia64-elf \
59 ia64-freebsd6 ia64-linux ia64-hpux ia64-hp-vms iq2000-elf lm32-elf \
60 lm32-rtems lm32-uclinux \
61 loongarch64-linux-gnuf64 loongarch64-linux-gnuf32 loongarch64-linux-gnusf \
62 m32c-rtems m32c-elf m32r-elf m32rle-elf \
63 m68k-elf m68k-netbsdelf \
64 m68k-uclinux m68k-linux m68k-rtems \
65 mcore-elf microblaze-linux microblaze-elf \
66 mips-netbsd \
67 mips64el-st-linux-gnu mips64octeon-linux mipsisa64r2-linux \
68 mipsisa32r2-linux-gnu mipsisa64r2-sde-elf mipsisa32-elfoabi \
69 mipsisa64-elfoabi mipsisa64r2el-elf mipsisa64sr71k-elf mipsisa64sb1-elf \
70 mipsel-elf mips64-elf mips64vr-elf mips64orion-elf mips-rtems \
71 mips-wrs-vxworks mipstx39-elf mmix-knuth-mmixware mn10300-elf moxie-elf \
72 moxie-uclinux moxie-rtems \
73 msp430-elf msp430-elfbare \
74 nds32le-elf nds32be-elf \
75 nios2-elf nios2-linux-gnu nios2-rtems \
76 nvptx-none \
77 or1k-elf or1k-linux-uclibc or1k-linux-musl or1k-rtems \
78 pdp11-aout \
79 powerpc-darwin8 \
80 powerpc-darwin7 powerpc64-darwin powerpc-freebsd6 powerpc-netbsd \
81 powerpc-eabisimaltivec powerpc-eabisim ppc-elf \
82 powerpc-eabialtivec powerpc-xilinx-eabi powerpc-eabi \
83 powerpc-rtems \
84 powerpc64-linux_altivec \
85 powerpc-wrs-vxworks powerpc-wrs-vxworksae powerpc-wrs-vxworksmils \
86 powerpc-lynxos powerpcle-elf \
87 powerpcle-eabisim powerpcle-eabi \
88 pru-elf \
89 riscv32-unknown-linux-gnu riscv64-unknown-linux-gnu \
90 powerpc-ibm-aix7.1 powerpc-ibm-aix7.2 \
91 rl78-elf rx-elf s390-linux-gnu s390x-linux-gnu s390x-ibm-tpf sh-elf \
92 shle-linux sh-netbsdelf sh-superh-elf \
93 sh-rtems sh-wrs-vxworks sparc-elf \
94 sparc-leon-elf sparc-rtems sparc-linux-gnu \
95 sparc-leon3-linux-gnuOPT-enable-target=all sparc-netbsdelf \
96 sparc64-sun-solaris2.11OPT-with-gnu-ldOPT-with-gnu-asOPT-enable-threads=posix \
97 sparc-wrs-vxworks sparc64-elf sparc64-rtems sparc64-linux sparc64-freebsd6 \
98 sparc64-netbsd sparc64-openbsd \
99 tilegx-linux-gnuOPT-enable-obsolete tilegxbe-linux-gnuOPT-enable-obsolete \
100 tilepro-linux-gnuOPT-enable-obsolete \
101 v850e1-elf v850e-elf v850-elf v850-rtems vax-linux-gnu \
102 vax-netbsdelf visium-elf x86_64-apple-darwin \
103 x86_64-pc-linux-gnuOPT-with-fpmath=avx \
104 x86_64-elfOPT-with-fpmath=sse x86_64-freebsd6 x86_64-netbsd \
105 x86_64-w64-mingw32 \
106 x86_64-mingw32OPT-enable-sjlj-exceptions=yes x86_64-rtems \
107 xstormy16-elf xtensa-elf \
108 xtensa-linux
110 LOGFILES = $(patsubst %,log/%-make.out,$(LIST))
111 all: $(LOGFILES)
112 config: $(LIST)
113 show:
114 @echo $(LIST)
116 .PHONY: make-log-dir all config show
118 empty=
120 #Check for the presence of the MAINTAINERS file to make sure we've located
121 #the gcc sources.
122 make-log-dir: $(GCC_SRC_DIR)/MAINTAINERS
123 -mkdir log
125 $(LIST): make-log-dir
126 -mkdir $@
128 cd $@ && \
129 TGT=`echo $@ | awk 'BEGIN { FS = "OPT" }; { print $$1 }'` && \
130 TGT=`$(GCC_SRC_DIR)/config.sub $$TGT` && \
131 case $$TGT in \
132 *-*-darwin* | *-*-cygwin* | *-*-mingw* | *-*-aix* | bpf-*-*) \
133 ADDITIONAL_LANGUAGES=""; \
134 ;; \
135 *) \
136 ADDITIONAL_LANGUAGES=",go"; \
137 ;; \
138 esac && \
139 $(GCC_SRC_DIR)/configure \
140 --target=$(subst SCRIPTS,`pwd`/../scripts/,$(subst OPT,$(empty) -,$@)) \
141 --enable-werror-always ${host_options} \
142 --enable-languages=all,ada$$ADDITIONAL_LANGUAGES; \
143 ) > log/$@-config.out 2>&1
145 $(LOGFILES) : log/%-make.out : %
146 -$(MAKE) -C $< $(TEST) > $@ 2>&1 && rm -rf $<