From 9042f09ecc607bb42de5d04ce6598c44991cef4c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 15:14:04 +0000
Subject: Add install

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d071b81..46d2573 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
-- 
cgit