New Makefile target: lib, to build just the library, not the lecture code

This commit is contained in:
Adam Chlipala 2016-02-14 22:07:29 -05:00
parent c129d8447e
commit 9b40bf78af

View file

@ -1,4 +1,4 @@
.PHONY: all coq install
.PHONY: all lib coq install
all: frap_book.pdf coq
@ -12,6 +12,9 @@ frap_book.pdf: frap_book.tex Makefile
coq: Makefile.coq
$(MAKE) -f Makefile.coq
lib: Makefile.coq
$(MAKE) -f Makefile.coq Frap.vo
Makefile.coq: Makefile _CoqProject *.v
coq_makefile -f _CoqProject -o Makefile.coq