From 3d1f42b0b87efd25e7d1d64f0d6d5af7f7ed8e00 Mon Sep 17 00:00:00 2001
From: hondet <hondet@nancy.private.lsv.fr>
Date: Fri, 25 Sep 2020 15:50:12 +0200
Subject: [PATCH] Compile fewer things

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 10174e1..313737d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 LP = lambdapi
-LP_SRC != find . -type f -name "*.lp"
+LP_SRC  != find encodings prelude -type f -name "*.lp"
 LP_OBJ = ${LP_SRC:S/.lp$/.lpo/}
 
 .SUFFIXES: .lpo .lp
-- 
GitLab