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 SERVER_INSTALL = $(shell if test "$$ARGWIAD_ROOT" != ""; then\
  26          echo $$ARGWIAD_ROOT;\
  27          else echo $$HOME/opt/gwiad;\
  28          fi)
  29 MODE=Debug
  30 CP=cp -p
  31 MKDIR=mkdir -p
  32 RM=rm -f
  33 TAR_DIR=tar czf
  34 MV=mv
  35 GNATMAKE=gnat make -p
  36 GNATCLEAN=gnat clean
  37 GNATCHECK=gnat check
  38 GNATCHOP=gnat chop
  39 DIFF=diff
  40 MANPAGE_DIR=/usr/local/share/man
  41 #MANPAGE_DIR=   # Uncomment to disable manpage install
  42
  43 # For demo distribution
  44
  45 GCCVER=$(shell gcc -dumpversion)
  46 GCCARCH=$(shell gcc -dumpmachine)
  47
  48 AWS_LIB_DIR = $(shell if test -d $(INSTALL)/lib/aws/native/relocatable/; then\
  49         echo $(INSTALL)/lib/aws/native/relocatable;\
  50         else echo $(INSTALL)/lib/aws/relocatable;\
  51         fi)
  52 ADA_LIB_DIR=$(INSTALL)/lib/gcc/$(GCCARCH)/$(GCCVER)/adalib