diff --git a/lambdapi.mk b/lambdapi.mk
index 30d760dd8f8213d8ce5c69c1e02ec48b86e58c73..ab8efaf577353ac3104ae02efd0db40edc169298 100644
--- a/lambdapi.mk
+++ b/lambdapi.mk
@@ -11,7 +11,7 @@ all: ${LP_OBJ}
 	${LP} check ${LP_FLAGS} --gen-obj $<
 
 .PHONY: install
-install: lambdapi.pkg
+install: lambdapi.pkg ${LP_SR} ${LP_OBJ}
 	${LP} install ${LP_SRC} ${LP_OBJ}
 
 .PHONY: uninstall