fixed makefile

7e6d5fde · hondet · 7a9e970d · 7e6d5fde
Commit 7e6d5fde authored 4 years ago by hondet
--- a/Makefile
+++ b/Makefile
@@ -12,11 +12,11 @@ all: ${LP_OBJ}

 .PHONY: install
 install: lambdapi.pkg
-	${LP} install ${LP_FLAGS} lambdapi.pkg ${LP_SRC}
+	${LP} install lambdapi.pkg ${LP_SRC}

 .PHONY: uninstall
 uninstall:
-	${LP} uninstall ${LP_FLAGS} lambdapi.pkg
+	${LP} uninstall lambdapi.pkg

 .PHONY: clean
 clean: