Florian Schanda <[email protected]> writes: > First off, I love the emacs ada-mode, good stuff! I use it in my day-to-day > work. In particular its nice to see support for Ada 2012.
Thanks. > Two thoughts; some installation hints/instructions (for debian) would be > great. I have tried the pre-release versions of 5.0, and the latest version I > got to work was org.emacs.ada-mode.smie-2013-04-16.tar.gz. I have worked out > that I will need emacs 24, but beyond that I've had no succes. Ok. I hope to solve this in general by make this an Emacs package. But until then, the instructions are: use Emacs 24.3 (more on this below) unzip the tarball somewhere (let's say ~/emacs_stuff) In ~/.emacs, add that directory to load-path: (add-to-list 'load-path (expand-file-name "~/emacs_stuff/org.emacs.ada-mode.stephe-1")) Add any other customizations you like; some are suggested in ada-mode.texi (which can be compiled to ada-mode.info using build/Makefile) Restart Emacs to let those changes take effect. That's it; the Ada mode that is last added to load-path will take precedence over any others. Hmm. Installing ada-mode.info so it shows up in C-h i is more complicated. A workaround is to use C-u C-h i, which then prompts for an info file. I assume this is solved by an ELPA package; I'll find out sometime soon. If you want this Ada mode to be available to other users on the same computer, pick a more public directory for the unzip location. /usr/share/emacs/site-lisp might be a good place. > Secondly, it would be fantastic to add support for some of the new SPARK 2014 > (http://spark-2014.org) aspects. In particular Global, Refined_Global, > Depends, Refined_Depends, Initializes, Part_Of, Abstract_State and > Refined_State. I can provide more details on the syntax for all of these, but > the RM is probably the best source: > http://docs.adacore.com/spark2014-docs/html/lrm This should be handled by general support for Ada 2012 aspects, which is lacking in Ada Mode 5.0. You are the first to actually request it :). I'd like to wait to implement this until I get Ada mode 5.0 released as a package in ELPA. I have to focus on that, or it will never happen :). In the meantime, specific examples are useful as test cases. In particular, I'm curious as to how you prefer to indent them. So please post some here; I'll add them to the tests, with "FIXME: failing - aspects" comments. On Emacs 24.3: a while ago, we discussed what versions of Emacs should be supported. I don't have good notes from that discussion, except that I agreed it would be good to support 23.4. Since then, I've started using some very useful stuff in 24.3, pretty much without regard to how hard it would be to back-port (I had enough things to worry about). So supporting 23.4 may be an issue. It is certainly something that will come after an ELPA release. So I'll bring it up again then. -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
