otrv4mu/Makefile

INCLUDE = ${MDIR}/include/

MDIR = /usr/local/src/cmurphi
MURPHI = mu
INCLUDEPATH = ${MDIR}/include

CXX = g++

CFLAGS = 

OFLAGS = -O2

#Murphi options
MURPHIOPTS = -b -c

all: otrv4 otrv4.cache otrv4.disk
splitfile: otrv4.cache.splitfile otrv4.disk.splitfile

# rules for compiling
otrv4: otrv4.cpp
	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4 otrv4.cpp -I${INCLUDEPATH} -lm

otrv4.cache: otrv4.cache.cpp
	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.cache otrv4.cache.cpp -I${INCLUDEPATH} -lm

otrv4.cache.splitfile: otrv4.cache.cpp
	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.cache.splitfile otrv4.cache.cpp -I${INCLUDEPATH} -lm -DSPLITFILE

otrv4.disk.splitfile: otrv4.disk.cpp
	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.disk.splitfile otrv4.disk.cpp -I${INCLUDEPATH} -lm -DSPLITFILE

otrv4.disk: otrv4.disk.cpp
	${CXX} ${CFLAGS} ${OFLAGS} -o otrv4.disk otrv4.disk.cpp -I${INCLUDEPATH} -lm

otrv4.cpp: otrv4.m
	${MURPHI} otrv4.m

otrv4.cache.cpp: otrv4.m
	${MURPHI} --cache -b -c otrv4.m
	mv otrv4.cpp otrv4.cache.cpp

otrv4.disk.cpp: otrv4.m
	${MURPHI} --disk otrv4.m
	mv otrv4.cpp otrv4.disk.cpp

clean:
	rm -f *.cpp otrv4 otrv4.cache otrv4.disk otrv4.cache.splitfile otrv4.disk.splitfile