Skip to content
Snippets Groups Projects
Commit 54115e8d authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update Makefile for new way to specify PROB_HOME 


Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
parent 26e14e47
No related branches found
No related tags found
No related merge requests found
Pipeline #117196 passed
Stage: test
Stage: deploy
Show whitespace changes
Inline Side-by-side
Showing
with 4 additions and 2 deletions
Makefile
+ 4
− 2
View file @ 54115e8d
...@@ -8,11 +8,13 @@ USERNAME= ...@@ -8,11 +8,13 @@ USERNAME=
PROB_HOME=/Users/$(USERNAME)/git_root/prob_prolog PROB_HOME=/Users/$(USERNAME)/git_root/prob_prolog
PYTHON=/Users/$(USERNAME)/opt/miniconda3/bin/python3 PYTHON=/Users/$(USERNAME)/opt/miniconda3/bin/python3
#PYTHON=/Users/$(USERNAME)/opt/miniconda3/envs/py10/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 ./gradlew -PpythonCommand=$(PYTHON) installKernelSpec
installphuser: installphuser:
echo "Installing for user, so that, e.g., VSCode sees the kernel" 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: remove:
echo "Deinstalling ProB2 Kernel; you may have to run this twice! echo "Deinstalling ProB2 Kernel; you may have to run this twice!
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment