Re: [PATCH 1/3] PR jit/64810: driver, arm, jit: configure-time default options

2015-01-30 Thread Joseph Myers
On Fri, 30 Jan 2015, David Malcolm wrote: > gcc/ChangeLog: > PR jit/64810 > * Makefile.in (GCC_OBJS): Add gcc-main.o. > * gcc-main.c: New file, containing "main" taken from gcc.c. > * gcc.c (do_self_spec): Free decoded_options. > (class driver): Move declaration to gc

[PATCH 1/3] PR jit/64810: driver, arm, jit: configure-time default options

2015-01-30 Thread David Malcolm
Currently the jit completely fails to work on arm. The root cause is that the jit is ignoring configure-time default options. For example, on configuring arm with e.g.: --with-arch=armv7-a --with-float=hard --with-fpu=vfpv3-d16 these options are written into configargs.h as "configure_default_o