# this generates all C-based monitors in current directory

all: monitor

pattern:
	NuRV -source patterns.cmd all.smv
	mv p*.[ch] patterns
	make -C "patterns"

oracle:
	nuXmv -source oracles.cmd all.smv

monitor: monitor.c patterns.h patterns/p0.o
	${CC} -o monitor monitor.c patterns/p*.o
