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

MDIR = ./Murphi3.1

MURPHI = ${MDIR}/bin/mu
MOPTS  = -b

CXX = g++ -DCATCH_DIV -fno-default-inline -Wno-deprecated
INCLUDE = ${MDIR}/include/

all:
	make otrake
	make otrdata

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

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

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

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

clean:
	rm -f otrake otrdata otrake.C otrdata.C

runake:
	make otrake
	./otrake -tv -ndl

rundata:
	make otrdata
	./otrdata -tv -ndl -m128