blob: 6b0e4f5abdb25301dd0fbfd4e1596970e9538719 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
diff --git a/tools/Jupyter/kernel/clingkernel.py b/tools/Jupyter/kernel/clingkernel.py
index 9decdda..079b245 100644
--- a/tools/Jupyter/kernel/clingkernel.py
+++ b/tools/Jupyter/kernel/clingkernel.py
@@ -67,7 +67,8 @@ class ClingKernel(Kernel):
def __init__(self, **kwargs):
super(ClingKernel, self).__init__(**kwargs)
- whichCling = shutil.which('cling')
+ #whichCling = shutil.which('cling')
+ whichCling = "/opt/cling/bin/cling"
if whichCling:
clingInstDir = os.path.dirname(os.path.dirname(whichCling))
llvmResourceDir = clingInstDir
|