mk.config

   1 ##############################################################################
   2 ##                                GnadeLite                                 ##
   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 MODE=Release                    # or Debug/Profile
  26 CP=cp -p
  27 MKDIR=mkdir -p
  28 RM=rm -f
  29 TAR_DIR=tar czf
  30 MV=mv
  31 GNATMAKE=gnat make -p
  32 GNATCLEAN=gnat clean
  33 GNATCHECK=gnat check
  34 GNATCHOP=gnat chop
  35 DIFF=diff