Ada mode 8.0.1 beta test

[Simon Wright]

Building with Alire (my 1.3-dev version, which on Mac will use Homebrew to 
fetch re2c), basically looking very good: some minor notes ...

Running on mac mini with Apple silicon, macOS 13.0.1 Ventura, alr 1.3-dev, GCC 
12.2.0 built for aarch64 (aka arm64).

First, I find I have to list-packages twice before the gnu-devel setting 
'takes' (this didn't happen on an Intel Macbook).

ada-mode: can't install re2c under arm64 because it's an x86_64 package. Could 
this be because alr is an x86_64 executable? rebuild - try again - re2c 
installs just fine and the build succeeds, with one minor hiccup: in build.sh, 
starting at line 15,

    alr get emacs_ada_mode~8.0.2
    cd emacs_ada_mode_*; alr build --release

    # WORKAROUND: this should be in alire_rules.make
    mv emacs_ada_mode_*/ada_annex_p_lr1_parse_table.txt emacs_ada_mode_*/bin

The last line fails because we're already in emacs_ada_mode_8.0.2_d50f8f96.

I installed into $HOME (/bin).

gpr-mode: no problems, though it would be nice if build.sh, install.sh were 
executable.

gpr-query: same with the shell scripts.
With install.sh, fails with

$ bash install.sh $HOME
[...]
error: Command ["gprinstall", "-f", "-p", "-P", "emacs_gpr_query.gpr", 
"--install-name=emacs_gpr_query", "/Users/simon"] exited with code 7

---- because, for this script, I have to use --prefix=$HOME, unlike either of 
the other two!