#######################################################################
# File: Makefile
# 	(Extracted from
#	   "$Id: Makefile,v 1.1 2007/10/29 07:32:26 Administrator Exp Administrator $")
#
# Abstracts:
#  This make file generates the test program for "abacus.c".
#
# Copyright (C) 2006-2007 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 -std=c99

abacus: abacus_test.c abacus.c
	$(CC) -g -Wall -pedantic -o $@ abacus_test.c abacus.c

splint:
	splint	+posixlib -usedef -nullassign -observertrans	\
		abacus_test.c
	splint	+posixlib -duplicatequals +ignorequals		\
		-nullret -nullstate -compdef -mustfreeonly	\
		-temptrans -immediatetrans -usereleased		\
		-mustfreefresh -branchstate -nullpass		\
		-exportlocal -mayaliasunique -unsignedcompare	\
		-compdestroy					\
		abacus.c;

test:
	./abacus > abacus.out`date +'%Y%m%d'`.txt 2>&1 

clean:
	rm -f abacus abacus.exe
