mk.config

   1 ##############################################################################
   2 ##                                  Gwiad                                   ##
   3 ##                                                                          ##
   4 ##                           Copyright (C) 2007                             ##
   5 ##                            Olivier Ramonat                               ##
   6 ##                                                                          ##
   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.                                         ##
  11 ##                                                                          ##
  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.                                ##
  16 ##                                                                          ##
  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 ##############################################################################
  21
  22 # Options
  23 GNAT_ROOT=$(dir $(shell which gnatls))..
  24 INSTALL = $(GNAT_ROOT)
  25 GWIAD_ROOT = $(ARGWIAD_ROOT)
  26 MODE = Debug
  27 LIB_KIND=Dynamic
  28 CP = cp -p
  29 MKDIR = mkdir -p
  30 RM = rm -f
  31 TAR_DIR = tar czf
  32 GNATMAKE=gnat make -p
  33 GNATCLEAN=gnat clean
  34 GNATCHECK=gnat check -dd
  35 DIFF=diff