TARGETS = app
MODEL = disjoint.smv

all: app

app: app.o monitor.o

monitor.c:
	NuRV -source synthesis.cmd $(MODEL)

clean:
	rm -rf *.o *.d *~ app monitor.c
