File: remote.gpr

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (18 lines) | stat: -rw-r--r-- 361 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
project Remote is

   for Main use ("demo1");
   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Exec_Dir use "obj";

   package Builder is
      for Switches ("ada") use ("-g");
   end Builder;

   package Ide is
      for Compiler_Command ("ada") use "/opt/gnat/bin/gnatmake";
      for Remote_Host use "my_remote";
   end Ide;

end Remote;