Makefile 379 Bytes
Newer Older
Felipe Cerqueira's avatar
Felipe Cerqueira committed
1
MODULES := task job priority schedule platform identmp apa helper \
2
           response_time task_arrival liulayland
Felipe Cerqueira's avatar
Felipe Cerqueira committed
3 4 5 6 7 8 9 10 11 12 13 14 15
VS      := $(MODULES:%=%.v)

.PHONY: coq clean

coq: Makefile.coq
	$(MAKE) -f Makefile.coq

		Makefile.coq: Makefile $(VS)
				coq_makefile -R . Sched $(VS) -o Makefile.coq

				clean:: Makefile.coq
						$(MAKE) -f Makefile.coq clean
								rm -f Makefile.coq