TARGETS = app
MODEL = disjoint.smv
LLC = llc-mp-9.0

all: app app2 # app3

app: app.o monitor.o monitor.h
	$(CC) $(CFLAGS) app.o monitor.o -o app

app2: app2.o monitor2.o monitor2.hpp
	$(CXX) $(CXXFLAGS) app2.o monitor2.o -o app2

# app3: app.o rvsynth.o monitor.h
# 	$(CC) $(CFLAGS) app.o rvsynth.o -o app3

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

monitor.pdf: monitor.c
	dot -Tpdf monitor.dot > monitor.pdf

rvsynth.s: rvsynth.ll
	$(LLC) rvsynth.ll

rvsynth.o: rvsynth.s
	$(CC) -c rvsynth.s

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