From f2642b116492b8e713b6b1c4ccef7cb6259cbc7a Mon Sep 17 00:00:00 2001
From: David Schneider <david.schneider@bivab.de>
Date: Wed, 16 Jan 2019 11:39:41 +0100
Subject: [PATCH] Mark Makefile targets as PHONY

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

diff --git a/Makefile b/Makefile
index ab6fc8a..0b0b3db 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,8 @@
+.PHONY: build
 build:
 	./gradlew createJar
+
+.PHONY: install
 install:
 	echo "installing to local probcli/lib folder:"
 	mv build/libs/tlc4b-1.0.*.jar ../../prob_prolog/lib/TLC4B.jar 
-- 
GitLab