[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ada mode 8.0.1 beta test
From: |
Stephen Leake |
Subject: |
Re: Ada mode 8.0.1 beta test |
Date: |
Tue, 06 Dec 2022 15:47:20 -0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Simon Wright <simon@pushface.org> writes:
> 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.
Ok. Fixed in devel.
> I installed into $HOME (/bin).
>
> gpr-mode: no problems, though it would be nice if build.sh, install.sh
> were executable.
Fixed in devel.
> 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!
Changed gpr-mode, gpr-query to be consistent with ada-mode install.sh.
Thanks for the report.
--
-- Stephe