From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Installing ada-mode 6.2.1 on Debian Buster
Date: Fri, 15 Nov 2019 11:30:02 +0100
Date: 2019-11-15T11:30:02+01:00 [thread overview]
Message-ID: <qqluna$1nk1$1@gioia.aioe.org> (raw)
This turned out to be more difficult than expected, so I decided to share my
notes on this here. It might be of use to someone.
How to install Emacs Ada mode 6.2.1 on Debian Buster:
-----------------------------------------------------
Prerequisits:
apt-get install gnat
apt-get install libgnatcoll-xref18-dev
Download & install Ada mode 6.2.1 from GNU ELPA via the Emacs package manager.
(Side note: Emacs has a bug preventing it to download anything from GNU ELPA,
you need (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") in your
.emacs. See
https://www.reddit.com/r/emacs/comments/cdei4p/failed_to_download_gnu_archive_bad_request/
for more.)
Now, open a shell and go into the directory where Ada mode has been installed
(e.g. ~/.emacs.d/elpa/ada-mode-6.2.1).
* Fix the line-ending of the two files wisi-fringe.el and gpr-query.el:
dos2unix gpr-query.el ; dos2unix ../wisi-2.2.1/wisi-fringe.el.
* Comment out the line with "gnat_util"; in the file gpr_query.gpr.
* Make sure gprbuild will use the correct compilers, run gprconfig to select
GNAT for Ada and GNATGCC for C. This is especially important if Clang is
installed as well.
* Run build.sh. It should compile everything without errors, but it will fail
on installation.
* Manually install the files gpr_query, all *.exe, and ada_lr1_parse_table.txt
into /usr/local/bin/ or another directory on PATH.
--
Markus
next reply other threads:[~2019-11-15 10:30 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-15 10:30 Markus Schöpflin [this message]
2019-11-17 18:45 ` Installing ada-mode 6.2.1 on Debian Buster Stephen Leake
2019-11-17 20:59 ` Simon Wright
2019-11-18 9:01 ` Markus Schöpflin
2019-12-15 17:38 ` Azathoth Hastur
2019-12-15 18:31 ` Simon Wright
2019-12-15 19:05 ` Dennis Lee Bieber
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox