From 85ce492ce81b526df0d0ae029542ab90e141635b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 30 Sep 2022 12:10:39 +0200
Subject: [PATCH] add target in Makefile to install kernel for VSCode

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

diff --git a/Makefile b/Makefile
index 00c6b64..d10a4e2 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,13 @@ install:
 	./gradlew installKernelSpec
 USERNAME=
 PHOME=/Users/$(USERNAME)/git_root/prob_prolog
+JUPYTER=/Users/$(USERNAME)/opt/miniconda3/bin/jupyter
+#JUPYTER=/Users/$(USERNAME)/opt/miniconda3/envs/py10/bin/jupyter
 installph:
-	./gradlew -PprobHome=$(PHOME) installKernelSpec
+	./gradlew -PprobHome=$(PHOME) -PjupyterCommand=$(JUPYTER) installKernelSpec
+installphuser:
+    echo "Installing for user, so that, e.g., VSCode sees the kernel"
+	./gradlew -PprobHome=$(PHOME) -PjupyterCommand=$(JUPYTER) -PkernelspecUserInstall=true installKernelSpec
 
 console:
 	jupyter console --kernel prob2
-- 
GitLab