Re: [PATCH v2] doc: RISC-V: Document the `-misa-spec=' option

2022-02-08 Thread Maciej W. Rozycki
On Mon, 7 Feb 2022, Palmer Dabbelt wrote: > > > Good point. I have updated the text to your suggested wording, which is > > > also what I would use if I were to propose it (modulo capitalisation). I > > > will commit the change as included here shortly then unless I hear an > > > objection. >

Re: [PATCH v2] doc: RISC-V: Document the `-misa-spec=' option

2022-02-07 Thread Palmer Dabbelt
On Sat, 05 Feb 2022 00:14:26 PST (-0800), gcc-patches@gcc.gnu.org wrote: Thanks, LGTM :) On Sat, Feb 5, 2022 at 7:56 AM Maciej W. Rozycki wrote: We have recently updated the default for the `-misa-spec=' option, yet we still have not documented it nor its `--with-isa-spec=' counterpart in the

Re: [PATCH v2] doc: RISC-V: Document the `-misa-spec=' option

2022-02-05 Thread Kito Cheng via Gcc-patches
Thanks, LGTM :) On Sat, Feb 5, 2022 at 7:56 AM Maciej W. Rozycki wrote: > > We have recently updated the default for the `-misa-spec=' option, yet > we still have not documented it nor its `--with-isa-spec=' counterpart > in the GCC manuals. Fix that. > > gcc/ > * doc/install.tex

[PATCH v2] doc: RISC-V: Document the `-misa-spec=' option

2022-02-04 Thread Maciej W. Rozycki
We have recently updated the default for the `-misa-spec=' option, yet we still have not documented it nor its `--with-isa-spec=' counterpart in the GCC manuals. Fix that. gcc/ * doc/install.texi (Configuration): Document `--with-isa-spec=' RISC-V option. * doc/