On Friday 13 Dec 2013 16:36:04 Stephen Leake wrote: > 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.
Hm, that is basically what I have been doing. I am getting this error if I try to switch to ada-mode: byte-code: Wrong type argument: stringp, nil I am using the emacs-snapshot debian package, I am starting to get the feeling that something is not quite right in how it is installed. I might compile emacs 24 by hand and try that. > > 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 :). Seems reasonable. > 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. I will post some as soon as I get the latest version of the mode to work, as I suspect a number of things will already be fixed. (With the version I got to work, any indentation after a "with" is broken.) > 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. It would be helpful, at least for a while, as that is what Debian ships currently. Ill post plenty of examples once I have the latest version working. :) Thanks again for this great Emacs package, Florian _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
