diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -6,10 +6,15 @@ LIBVS:=$(filter-out $(IGNORE:%=%.v),$(LIBVS)) VS:=$(wildcard src/CoqUp/*.v) VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS)) -.PHONY: coq clean +.PHONY: all install coq clean ARGS := -R src/CoqUp CoqUp +all: coq + +install: + $(MAKE) -f Makefile.coq install + coq: Makefile.coq $(MAKE) -f Makefile.coq |