#
#	WARNING: Do Not Remove This Section
#
#	$RCSfile: makefile,v $
#	$Revision: 1.4 $
#	$Date: 2006/02/13 14:47:32 $
#	$Author: zapreevis $
#	
#	MRMC is a model checker for discrete-time and continuous-time Markov reward models.
#	It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the
#	automated verification of properties concerning long-run and instantaneous rewards
#	as well as cumulative rewards.
#	
#	Copyright (C) The University of Twente, 2004-2006.
#	Authors: Maneesh Khattri
#
#	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., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
#
#	Our contacts:
#		Formal Methods and Tools Group, University of Twente,
#		P.O. Box 217, 7500 AE Enschede, The Netherlands,
#		Phone: +31 53 4893767, Fax: +31 53 4893247,
#		E-mail: mrmc@cs.utwente.nl
#
#	Source description: make file for parser
#

HOME_DIR = ..
BIN_DIR = $(HOME_DIR)/bin
include $(HOME_DIR)/makefile.def

LEXSRC		= la_etmcc2.l
YACCSRC		= parser_etmcc2.y
YACCH		= y.tab.h
SRCS		= y.tab.c lex.yy.c
OBJ		= y.tab.o lex.yy.o

all: 	yacc move lex lib clean

srcs: $(SRCS)

lib: $(LIB_A)

$(LIB_A): $(OBJ)
	 @ ar rv $(LIB_A) $?
	 @ case x$(HASRANLIB) in xt) echo ranlib; ranlib $(LIB_A);; esac 
clean:
	/bin/rm -f $(SRCS) $(OBJ) $(EXECS) out *.out

wipe: 
	/bin/rm -f $(SRCS) $(OBJ) $(EXECS) out *.out

yacc:
	$(YACC) -d $(YACCSRC)
	
lex:	
	$(LEX) $(LEXSRC)
	
move: 
	/bin/mv $(YACCH) $(INCLUDE_DIR)

y.tab.o : y.tab.c
lex.yy.o : lex.yy.c
