Add specific options for generated files.
[diouzhtu.git] / diouzhtu2html / makefile
blob9fa1df9f4fe8c2eeb43cd79ab40b6e5324e73e04
1 ##############################################################################
2 ## Diouzhtu ##
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 ##############################################################################
22 all:
23 $(GNATMAKE) -XPRJ_BUILD=$(MODE) -XPRJ_LIB_KIND=$(LIB_KIND) -Pdiouzhtu2html
24 $(GNATMAKE) -XPRJ_BUILD=$(MODE) -XPRJ_LIB_KIND=$(LIB_KIND) -Pdiouzhtu2html
26 clean:
27 -$(RM) -r gen src/v2p-template_defs*
28 -$(GNATCLEAN) -r -Pdiouzhtu2html
30 check:
31 $(GNATCHECK) -Pdiouzhtu2html -rules -from=../diouzhtu.check
33 regtests:
34 make -C test
36 setup: