summaryrefslogtreecommitdiff
path: root/xtools/Makefile
blob: e1546ec2069b2f459e0d2ce7eee66dc41deecd96 (plain)
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
#  Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
#
#  GHDL 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, or (at your option) any later
#  version.
#
#  GHDL 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 GCC; see the file COPYING.  If not, write to the Free
#  Software Foundation, 59 Temple Place - Suite 330, Boston, MA
#  02111-1307, USA.
all: ../iirs.adb

check_iirs: force
	gnatmake -g -gnatwa check_iirs

MODE=--generate

../iirs.adb: ../iirs.adb.in ../iirs.ads ../nodes.ads ./check_iirs
	$(RM) $@
	./check_iirs $(MODE) > subprg.ada
	sed -e "/^   --  Subprograms/r subprg.ada" \
	  < ../iirs.adb.in > $@
	chmod -w $@

force:

clean:
	$(RM) *.o *.ali *~ check_iirs