ada-mode-users
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]