makefile

   1 ############################################################################
   2 #                              Ada Web Server                              #
   3 #                                                                          #
   4 #                     Copyright (C) 2008, Pascal Obry                      #
   5 #                                                                          #
   6 #  This library is free software; you can redistribute it and/or modify    #
   7 #  it under the terms of the GNU General Public License as published by    #
   8 #  the Free Software Foundation; either version 2 of the License, or (at   #
   9 #  your option) any later version.                                         #
  10 #                                                                          #
  11 #  This library is distributed in the hope that it will be useful, but     #
  12 #  WITHOUT ANY WARRANTY; without even the implied warranty of              #
  13 #  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU       #
  14 #  General Public License for more details.                                #
  15 #                                                                          #
  16 #  You should have received a copy of the GNU General Public License       #
  17 #  along with this library; if not, write to the Free Software Foundation, #
  18 #  Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.          #
  19 #                                                                          #
  20 ############################################################################
  21
  22 VERSION     = $(shell git describe --abbrev=0 2>/dev/null)
  23 VERSION_ALL = $(shell git describe 2>/dev/null)
  24
  25 all: setup
  26         mkdir -p obj
  27         gnatmake -Pstyle_checker
  28
  29 clean:
  30         gnatclean -Pstyle_checker
  31         make -C regtests clean
  32         rm -f style_checker.tar* *~ src/version.ads
  33
  34 setup:
  35 # If git is not present then use the version.ads provided in distrib
  36 ifneq ("$(VERSION)", "")
  37         sed -e 's,\$$VERSION\$$,$(VERSION),g' \
  38         -e 's,\$$VERSION_ALL\$$,$(VERSION_ALL),g' src/version.tads > src/version.ads
  39 endif
  40
  41 distrib:
  42         git archive --prefix=style_checker/ HEAD > style_checker.tar
  43         tar -C ../ -r --file=style_checker.tar style_checker/src/version.ads
  44         gzip -f style_checker.tar
  45
  46 force:
  47
  48 regtests: force
  49         make -C regtests