From 58bc3bb0938cf51189b9145ba456963aa17d5a09 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Sun, 7 Feb 2021 15:39:28 +0100
Subject: [PATCH] Install only sources, not objects
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 313737d..950c22d 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ all: ${LP_OBJ}
.PHONY: install
install: ${LP_OBJ} lambdapi.pkg
- ${LP} install lambdapi.pkg ${LP_OBJ} ${LP_SRC}
+ ${LP} install lambdapi.pkg ${LP_SRC}
.PHONY: uninstall
uninstall:
--
GitLab