gwiad_wiki_service/service/makefile

   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 all:
  23         $(GNATMAKE) -XPRJ_BUILD=$(MODE) -Pwiki_service
  24         $(GNATMAKE) -XPRJ_BUILD=$(MODE) -Pwiki_service
  25
  26 clean:
  27         -$(GNATCLEAN) -r -Pwiki_service
  28
  29 check:
  30         $(GNATCHECK) -Pwiki_service -rules -from=../../diouzhtu.check
  31
  32 setup: