#
# CS259 Homework 1
#
# This is a Makefile.
#

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/
INCLUDE = /afs/ir.stanford.edu/users/a/s/astaple/cs259/project/include

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

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

clean:
	rm -f sead sead.C

