From 3b3784847093efab14ecb847571bf2004c5f0b22 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Oct 2014 14:54:09 +0100
Subject: [PATCH] add reinstall target to makefile

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

diff --git a/Makefile b/Makefile
index 265b4262..1f8914c8 100644
--- a/Makefile
+++ b/Makefile
@@ -29,4 +29,8 @@ install: all
 uninstall:
 	ocamlfind remove msat
 
-.PHONY: clean doc all install uninstall
+reinstall: all
+	ocamlfind remove msat || true
+	ocamlfind install msat $(TO_INSTALL)
+
+.PHONY: clean doc all install uninstall reinstall