From 0553fc764d4aae67beec556fc949d6567e6fdd6e Mon Sep 17 00:00:00 2001 From: Kakadu Date: Fri, 1 Nov 2024 22:09:26 +0300 Subject: [PATCH] Repair uninstall command Signed-off-by: Kakadu --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9b4bdebbb..331c37acd 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,10 @@ install: all runtime32/runtime.a runtime32/Std.i) \ `opam var share`/Lama/x32 -uninstall: +_build/default/Lama.install: + dune b @install + +uninstall: _build/default/Lama.install $(RM) -r `opam var share`/Lama dune uninstall