#
# This is a Makefile for the Murphi model of the 802.11i protocol.
#

MURPHI = /usr/class/cs259/Murphi3.1/bin/mu 
MOPTS  = -b

CXX = g++ -DCATCH_DIV -fno-default-inline -Wno-deprecated
INCLUDE = /usr/class/cs259/Murphi3.1/include/

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

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

clean:
	rm -f p80211i p80211i.C