diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 15:14:04 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 15:14:04 +0000 |
commit | 9042f09ecc607bb42de5d04ce6598c44991cef4c (patch) | |
tree | 7121094304b51d40db6b7a59d3350ccad326c8bf /Makefile | |
parent | b3b21c2d8cb6b89087e30cb901523915b8d71f44 (diff) | |
download | vericert-kvx-9042f09ecc607bb42de5d04ce6598c44991cef4c.tar.gz vericert-kvx-9042f09ecc607bb42de5d04ce6598c44991cef4c.zip |
Add install
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 |