From bd0a2109eb7f3e265b346fde214ceec25ca8bfff Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 16 Jan 2023 17:59:02 +0100
Subject: [PATCH] Allow running tests with make test

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

diff --git a/Makefile b/Makefile
index 340422b..4f91bd7 100644
--- a/Makefile
+++ b/Makefile
@@ -53,3 +53,7 @@ $(clean_methods):
 
 .PHONY: clean
 clean: clean_helper $(clean_methods)
+
+.PHONY: test
+test: methods
+	sicstus -l test_all.pl --goal "run_tests, halt ; halt(1)."
-- 
GitLab