install requires object and source files

aadde759 · hondet · 62085d29 · aadde759
Commit aadde759 authored 3 years ago by hondet
--- 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