stephen_leake pushed a change to branch externals-release/ada-mode. from 64acce8bda Release 7.3.1; fix install.sh bug adds 0215ceee18 Update to 8.0.2 devel release; split out gnat-compiler, gpr-mode, gpr-query adds 6daaf0ccbe Fix ada-mode.texi bug adds b16f2ce40b * install.sh: Fix comment on argument adds e72d65d459 * build.sh: Move *_parse_table.txt to bin, so install.sh copies it adds 27395c6f1e Finish merge adds 4ae81da579 Fix typos adds e419adcb8f ; Prefer HTTPS to HTTP in URLs adds c3d62e181d Release version 8.0.3 new cdf3e4640e Resolve conflicts, finish merge
Summary of changes: Alire.make | 11 + Makefile => ELPA.make | 15 +- NEWS | 47 +- README | 30 +- ada-build.el | 65 +- ada-compiler-gnat.el | 837 - ada-core.el | 427 +- ada-eglot.el | 422 + ada-gnat-xref.el | 332 - ada-imenu.el | 2 +- ada-indent-user-options.el | 4 +- ada-mode.casing | 7 + ada-mode.el | 648 +- ada-mode.texi | 452 +- ada-skel.el | 8 +- ada_annex_p-process.el | 10 +- ada_annex_p.wy | 67 +- ada_annex_p_process_actions.adb | 20 +- ada_annex_p_process_actions.ads | 11 +- ada_annex_p_process_lalr_main.adb | 2503 +- ada_annex_p_process_lalr_main.ads | 17 +- ada_annex_p_process_lr1_main.adb | 32 +- ada_annex_p_process_lr1_main.ads | 19 +- ada_annex_p_re2c.c | 36588 +++++++++++++------------- ada_annex_p_re2c_c.ads | 2 +- ada_mode.prj | 1 + ada_mode_wisi_lalr_parse.ads | 8 +- ada_mode_wisi_lr1_parse.ads | 8 +- ada_mode_wisi_parse.gpr.gp | 150 - benchmark-xref.el | 2 +- build.sh | 70 +- create_makefile_conf.sh | 19 - doclicense.texi | 4 +- gpr-indent-user-options.el | 48 - gpr-mode.el | 429 - gpr-mode.texi | 256 - gpr-process.el | 148 - gpr-query.el | 1090 - gpr-skel.el | 137 - gpr.wy | 384 - gpr_mode_wisi_parse.ads | 37 - gpr_process_actions.adb | 418 - gpr_process_actions.ads | 305 - gpr_process_main.adb | 2625 -- gpr_process_main.ads | 31 - gpr_query.adb | 1379 - gpr_re2c.c | 7693 ------ gpr_re2c_c.ads | 74 - install.sh | 31 +- prj.el | 37 +- run_ada_lalr_parse.ads | 8 +- run_ada_lr1_parse.ads | 8 +- run_gpr_parse.ads | 35 - wisi-ada.adb | 54 +- wisi-ada.ads | 4 - wisi-gpr.adb | 79 - wisi-gpr.ads | 60 - wisitoken-parse-lr-mckenzie_recover-ada.adb | 17 +- 58 files changed, 21035 insertions(+), 37190 deletions(-) create mode 100644 Alire.make rename Makefile => ELPA.make (68%) delete mode 100644 ada-compiler-gnat.el create mode 100644 ada-eglot.el delete mode 100644 ada-gnat-xref.el create mode 100644 ada-mode.casing delete mode 100644 ada_mode_wisi_parse.gpr.gp delete mode 100755 create_makefile_conf.sh delete mode 100644 gpr-indent-user-options.el delete mode 100644 gpr-mode.el delete mode 100644 gpr-mode.texi delete mode 100644 gpr-process.el delete mode 100644 gpr-query.el delete mode 100644 gpr-skel.el delete mode 100644 gpr.wy delete mode 100644 gpr_mode_wisi_parse.ads delete mode 100644 gpr_process_actions.adb delete mode 100644 gpr_process_actions.ads delete mode 100644 gpr_process_main.adb delete mode 100644 gpr_process_main.ads delete mode 100644 gpr_query.adb delete mode 100644 gpr_re2c.c delete mode 100644 gpr_re2c_c.ads delete mode 100644 run_gpr_parse.ads delete mode 100644 wisi-gpr.adb delete mode 100644 wisi-gpr.ads