/
mk.config
35 lines (34 loc) · 1.81 KB
/
mk.config
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
33
34
35
##############################################################################
## Gwiad ##
## ##
## Copyright (C) 2007 ##
## Olivier Ramonat ##
## ##
## This library is free software; you can redistribute it and/or modify ##
## it under the terms of the GNU General Public License as published by ##
## the Free Software Foundation; either version 2 of the License, or (at ##
## your option) any later version. ##
## ##
## This library is distributed in the hope that it will be useful, but ##
## WITHOUT ANY WARRANTY; without even the implied warranty of ##
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ##
## General Public License for more details. ##
## ##
## You should have received a copy of the GNU General Public License ##
## along with this library; if not, write to the Free Software Foundation, ##
## Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. ##
##############################################################################
# Options
GNAT_ROOT=$(dir $(shell which gnatls))..
INSTALL = $(GNAT_ROOT)
GWIAD_ROOT = $(ARGWIAD_ROOT)
MODE = Debug
LIB_KIND=Dynamic
CP = cp -p
MKDIR = mkdir -p
RM = rm -f
TAR_DIR = tar czf
GNATMAKE=gnat make -p
GNATCLEAN=gnat clean
GNATCHECK=gnat check -dd
DIFF=diff