From 130c0aef60fcd080f42e3f62668c7c07439b38de Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 18 Dec 2023 15:16:18 +0100
Subject: [PATCH] add runsrc target

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 3f42c3935..dfda03066 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,12 @@
 PROB2_HOME=$(HOME)/git_root/prob_prolog/ 
 LOCAL=--include-build ../parsers_prob/
 LOCAL2= $(LOCAL) --include-build ../sablecc-stups/
+LOCAL3= $(LOCAL) --include-build ../java_prob2/
 
 run-with-my-probcli:
 	./gradlew -PprobHome=$(PROB2_HOME) $(LOCAL2) run
+runsrc:
+	./gradlew -PprobHome=$(PROB2_HOME) $(LOCAL3) run
 offline:
 	./gradlew -PprobHome=$(PROB2_HOME) $(LOCAL) run --offline
 run: