On 28 Jul 2016, at 22:57, Stephen Leake <[email protected]> wrote: > > I would run gnatprove from a makefile. But I haven't done it at all yet. > Does it make sense to run it on a single file?
You certainly can run it on just one file, but you must have a project. Rather like compiling. Not sure how frequent this use would be. I was thinking too of different options, e.g. --mode=check. But I really don't know a lot about it! _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
