#
# CS259 Homework 1
#
# This is a Makefile for the Murphi model of the NS(L) protocol.
#

MURPHI = /home/david/Murphi3.1/bin/mu 
MOPTS  = -b

CXX = g++ -DCATCH_DIV -fno-default-inline -Wno-deprecated -O1 
INCLUDE = /home/david/Murphi3.1/include/

chap: chap.C
	${CXX} -I${INCLUDE} chap.C -o chap -lm

chap.C: chap.m
	${MURPHI} ${MOPTS} chap.m

clean:
	rm -f chap chap.C

