From dda050031269027bfec1a1a4bcd8b69e59b0d46c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 16 Jan 2023 18:18:06 +0100
Subject: [PATCH] Fix methods dependencies in Makefile

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 19c84b2..4a0a8b7 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ all: $(methods)
 helper:
 	$(MAKE) -C src/helper_files
 
-.PHONY: methods
+.PHONY: $(methods)
 $(methods): helper
 	$(MAKE) -C src/methods/$@
 
@@ -57,5 +57,5 @@ $(clean_methods):
 clean: clean_helper $(clean_methods)
 
 .PHONY: test
-test: methods
+test: $(methods)
 	$(sicstus) -l test_all.pl --goal "run_tests, halt ; halt(1)."
-- 
GitLab