From 54115e8d98211e7faaf51eaa4f85b860b6ba564b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 13 Jul 2023 14:22:55 +0200
Subject: [PATCH] update Makefile for new way to specify PROB_HOME

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

diff --git a/Makefile b/Makefile
index d5ee3c5..291b8e6 100644
--- a/Makefile
+++ b/Makefile
@@ -8,11 +8,13 @@ USERNAME=
 PROB_HOME=/Users/$(USERNAME)/git_root/prob_prolog
 PYTHON=/Users/$(USERNAME)/opt/miniconda3/bin/python3
 #PYTHON=/Users/$(USERNAME)/opt/miniconda3/envs/py10/bin/python3
-installph:
+runph:
+	PROB_HOME=/Users/$(USERNAME)/git_root/prob_prolog jupyter notebook
+installpy:
 	./gradlew -PpythonCommand=$(PYTHON) installKernelSpec
 installphuser:
 	echo "Installing for user, so that, e.g., VSCode sees the kernel"
-	./gradlew -PprobHome=$(PROB_HOME) -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
+	PROB_HOME=/Users/$(USERNAME)/git_root/prob_prolog ./gradlew -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
 
 remove:
 	echo "Deinstalling ProB2 Kernel; you may have to run this twice!
-- 
GitLab