Re: Emacs Ada mode with RTS

[Simon Wright <simon@pushface.org>]

Patrick Noffke <patrick.noffke@gmail.com> writes:

> Perhaps you can use gprbuild instead of gnatmake?  Would that take
> care of it for you?

This is pretty-much a must, since gnatmake doesn't understand all the
options you can put in a GPR file.

Also gnatmake will lose the ability to deal with project files at all,
spit spit

It used to be that gprbuild understood relative paths for --RTS=, but
the GPL 2015 one needs absolute paths.

This GPR works perfectly in ada-mode 5.1.8 ..

project Testbed is
   for Main use ("testbed.adb");
   for Object_Dir use ".build";
   for Source_Dirs use (".");
   for Exec_Dir use ".";
   for Target use "arm-eabi";
   package Builder is
      for Default_Switches ("ada") use
        (
         "-g",
         "-Og",
         "--RTS=" & Project'Project_Dir & "../stm32f429i-disco-rtos",
         "--create-map-file"
        );
   end Builder;
   package Compiler is
      for Default_Switches ("ada") use
        (
         "-gnatqQafoy",
         "-gnatwaL.X"
        );
   end Compiler;
   package Linker is
      for Map_File_Option use "-Wl,-Map," & Project'Project_Dir;
   end Linker;
end Testbed;

I believe that the new gprbuild will allow

   for Runtime ("ada") use "stm32f429i-disco-rtos";

(not sure about paths for RTSs that aren't installed)
(see http://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ugx/specifying_the_run-time_library_and_target.html#selecting-the-run-time-library)