#
#	WARNING: Do Not Remove This Section
#
#	$RCSfile: makefile,v $
#	$Revision: 1.16 $
#	$Date: 2006/02/13 14:47:33 $
#	$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, Ivan Zapreev
#
#	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 src directory of the MRMC tool
#

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

SRC = bitset.c label.c foxglynn.c sparse.c token.c read_tra_file.c read_lab_file.c read_rewards.c read_impulse_rewards.c runtime.c transient.c steady.c bscc.c iterative_solvers.c prctl.c path_graph.c discretization.c uniformization_sericola.c uniformization_qureshi_sanders.c kjstorage.c

OBJ = $(SRC:.c=.o)

RM = /bin/rm -f

all: lib clean

srcs: $(SRC)

lib: $(LIB_A)

$(LIB_A) : $(OBJ)
	 @ ar rv $(LIB_A) $?
	 @ case x$(HASRANLIB) in xt) echo ranlib; ranlib $(LIB_A);; esac 
clean:
	$(RM) ../include/*~ *~ $(OBJ) $(EXECS) out *.out

wipe: 
	$(RM) ../include/*~ *~ $(OBJ) $(EXECS) out *.out

$.o : $.c
