From 1a35f6d32ad1355316d9533d1ad39d7662c01aae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Thu, 29 Oct 2026 15:59:40 +0100
Subject: [PATCH] fix Makefile

---
 Makefile | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 4378735..70beb6b 100644
--- a/Makefile
+++ b/Makefile
@@ -6,21 +6,34 @@ EXCLUDE := _opam
 EXCEPT := $(EXCLUDE:%=! -path './%/*')
 
 LP := $(shell find . -name '*.lp' $(EXCEPT) -print)
+LPO := $(LP:%=%o)
 
 .PHONY: default
-default: $(LP:%=%o)
+default: $(LPO)
+
+LP_OPTIONS = -c -v 0
 
 %.lpo: %.lp
 	@echo lambdapi check $< ...
-	@lambdapi check -c -v 0 $<
+	@lambdapi check $(LP_OPTIONS) $<
 
 include $(LPO_MK)
 
 $(LPO_MK): $(LP)
 	@echo create/update $@ ...
-	@lambdapi depend $(LP) > $@
+	@lambdapi depend > $@
 
 .PHONY: clean
 clean:
 	-find . -name '*.lpo' $(EXCEPT) -delete
 	-rm $(LPO_MK)
+
+.PHONY: install
+install: lambdapi.pkg $(LP) $(LPO)
+	@echo lambdapi install ...
+	@lambdapi install
+
+.PHONY: uninstall
+uninstall: lambdapi.pkg
+	@echo lambdapi uninstall ...
+	@lambdapi uninstall