File: src_editor.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 (32 lines) | stat: -rw-r--r-- 938 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
with "../common/common";
with "gtkada";
with "../kernel/kernel";
with "../completion/ui/completion_ui";
with "../vsearch/vsearch";
with "../widgets/widgets";
with "../aliases/aliases";
with "../shared";

project Src_Editor is

   for Source_Dirs use ("src");
   for Object_Dir use Shared'Object_Dir;

   package Compiler renames Shared.Compiler;

   package Naming is
      case Shared.OS is
         when "Windows_NT" =>
            for Implementation ("src_printing.fabric") use
              "src_printing-fabric__win32.adb";
            for Implementation ("src_printing.win32_printer") use
              "src_printing-win32_printer.adb";
         when "unix" | "osx" =>
            for Implementation ("src_printing.fabric") use
              "src_printing-fabric__default.adb";
            for Implementation ("src_printing.win32_printer") use
              "src_printing-dummy.adb";
      end case;
   end Naming;

end Src_Editor;