1 ------------------------------------------------------------------------------
4 -- Copyright (C) 2007 --
7 -- This library is free software; you can redistribute it and/or modify --
8 -- it under the terms of the GNU General Public License as published by --
9 -- the Free Software Foundation; either version 2 of the License, or (at --
10 -- your option) any later version. --
12 -- This library is distributed in the hope that it will be useful, but --
13 -- WITHOUT ANY WARRANTY; without even the implied warranty of --
14 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
15 -- General Public License for more details. --
17 -- You should have received a copy of the GNU General Public License --
18 -- along with this library; if not, write to the Free Software Foundation, --
19 -- Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. --
20 ------------------------------------------------------------------------------
24 for Source_Dirs use ();
25 -- No sources for this project
27 type Build_Type is ("Debug", "Release", "Profile");
28 Build : Build_Type := external ("PRJ_BUILD", "Debug");
30 type OS_Type is ("UNIX", "Windows_NT");
31 OS : OS_Type := external ("OS", "UNIX");
39 when "Release" | "Debug" =>
40 for Default_Switches ("ada") use ("-m", "-s");
43 for Default_Switches ("ada") use
44 ("-m", "-s", "-fprofile-arcs", "-ftest-coverage");
53 ("-gnat05", "-gnatwa", "-gnaty3Aabcdefhiklmnoprstux", "-Wall");
54 -- Common options used for the Debug and Release modes
57 ("-g", "-gnata", "-gnatVa", "-gnatQ", "-gnato", "-gnatwe");
64 when "Debug" | "Profile" =>
65 for Default_Switches ("Ada") use Common_Options & Debug_Options;
68 for Default_Switches ("Ada") use Common_Options & Release_Options;
78 when "Debug" | "Profile" =>
79 for Default_Switches ("Ada") use ("-E", "-g");
82 for Default_Switches ("Ada") use ("-E");
93 for Default_Switches ("Ada") use ("-g");
96 for Default_Switches ("Ada") use ("-g", "-lgmem");
108 for Vcs_Kind use "Git";