########################################################################
# File: Makefile
# 	(Extracted from
#	   "$Id: Makefile,v 1.4 2006/12/09 15:06:33 maoyam Exp maoyam $")
#
# Abstracts:
#  This makefile for `buffer_checker.c' and test programs.
#
# Copyright (C) 2004 Maoyam Tokyo, Japan (mailto:maoyam@mail.goo.ne.jp)
#
#  This program 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 program 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 program; if not, write to the Free Software
#  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
#
#
######################################################################/

CC=gcc
## DBGFLAGS=-DDEBUG=1
DBGFLAGS=-DDEBUG=0
CFLAGS=-Wall -pedantic -I. $(DBGFLAGS)

BINS=test TM_sum UTM
LIBSRCS=buffer_checker.c
LIBHDRS=buffer_checker.h

all: $(BINS)
	@echo "updated: "$(BINS);

test: test.c $(LIBSRCS) $(LIBHDRS)
	$(CC) $(CFLAGS) -o $@ test.c $(LIBSRCS)

TM_sum: TM_sum.c $(LIBSRCS) $(LIBHDRS)
	$(CC) $(CFLAGS) -o $@ TM_sum.c $(LIBSRCS)

UTM: UTM.c $(LIBSRCS) $(LIBHDRS)
	$(CC) $(CFLAGS) -o $@ UTM.c $(LIBSRCS)

clean:
	rm $(BINS)

splint:
	splint -I . +posix_lib -nullassign -compdestroy		\
		+voidabstract -nullstate -compmempass		\
		-branchstate -nullpass -usereleased		\
		$(LIBSRCS)

