From 5e607f898fd39aca1c0b5d45b49207c443e04164 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 15 Aug 2016 11:01:22 +0100 Subject: [PATCH] change annoying `make install` behavior --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 636d6cb..3e592c4 100644 --- a/Makefile +++ b/Makefile @@ -37,12 +37,14 @@ all: $(SETUP) ./$(SETUP) -all $(ALLFLAGS) install: $(SETUP) setup.data + ocamlfind remove utop 2>/dev/null || true ./$(SETUP) -install $(INSTALLFLAGS) uninstall: $(SETUP) setup.data ./$(SETUP) -uninstall $(UNINSTALLFLAGS) reinstall: $(SETUP) setup.data + ocamlfind remove utop 2>/dev/null || true ./$(SETUP) -reinstall $(REINSTALLFLAGS) clean: $(SETUP)