1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
#!/usr/bin/env python3
import json
import os
import sys
from distutils.core import setup
import sys
from jupyter_client.kernelspec import install_kernel_spec
from IPython.utils.tempdir import TemporaryDirectory
from os.path import dirname,abspath
from shutil import copy as file_copy
kernel_json = {"argv":[sys.executable,"-m","jupyter_kernel_polymake", "-f", "{connection_file}"],
"display_name":"polymake",
"language":"polymake",
"codemirror_mode":"perl", # note that this does not exist yet
"env":{"PS1": "$"}
}
def install_my_kernel_spec(user=True):
with TemporaryDirectory() as td:
os.chmod(td, 0o755) # Starts off as 700, not user readable
with open(os.path.join(td, 'kernel.json'), 'w') as f:
json.dump(kernel_json, f, sort_keys=True)
path_of_file = dirname( abspath(__file__) ) + "/jupyter_kernel_polymake/resources/"
filenames=[ "three.js", "WebGL.js", "TrackballControls.js", "OrbitControls.js", "SVGRenderer.js", "Projector.js", "menu.svg", "close.svg" ]
for i in filenames:
file_copy(path_of_file + i, td )
file_copy(path_of_file + "kernel.js", td )
file_copy(path_of_file + "logo-32x32.png", td )
file_copy(path_of_file + "logo-64x64.png", td )
print('Installing jupyter kernel spec for polymake')
install_kernel_spec(td, 'polymake', user=user, replace=True)
def main(argv=None):
install_my_kernel_spec()
if __name__ == '__main__':
main()
setup( name="jupyter_kernel_polymake"
, version="0.16"
, description="A Jupyter kernel for polymake"
, author="Sebastian Gutsche"
, author_email="sebastian.gutsche@gmail.com"
, url="https://github.com/sebasguts/jupyter-polymake"
, packages=["jupyter_kernel_polymake"]
, package_dir={"jupyter_kernel_polymake": "jupyter_kernel_polymake"}
, package_data={"jupyter_kernel_polymake": ["resources/logo-32x32.png",
"resources/logo-64x64.png",
"resources/kernel.js",
"resources/three.js",
"resources/WebGL.js",
"resources/TrackballControls.js",
"resources/OrbitControls.js",
"resources/SVGRenderer.js",
"resources/Projector.js",
"resources/menu.svg",
"resources/close.svg" ]}
,
)
|
