adding install and uninstall targets.

gmalecha · Feb 5, 2016 · 499cd8b · 499cd8b
1 parent 0b5df1d
commit 499cd8b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -6,6 +6,12 @@ coq: Makefile.coq
 Makefile.coq: Makefile $(MODULES)
 	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
+install: Makefile.coq
+	$(MAKE) -f Makefile.coq install
+
+uninstall: Makefile.coq
+	$(MAKE) -f Makefile.coq uninstall
+
 clean:: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq