kelvich / tlaplus_jupyter Goto Github PK
View Code? Open in Web Editor NEWJupyter kernel for TLA⁺
License: BSD 3-Clause "New" or "Revised" License
Jupyter kernel for TLA⁺
License: BSD 3-Clause "New" or "Revised" License
Hello!.
Could be possible to load a module from other notebook?. For example, read the module content from a cell in another notebook, so it is available in the current notebook without doing a copy paste of the entire module content.
Thanks
I tried installing the TLA+ kernel for jupyter, but it doesn't work with Python 3.12
Running python -m tlaplus_jupyter.install
Gave my an issue that the imp module not found (it's been depreciated in 3.12) I replaced it with import importlib, then got this:
tmcreynolds-mlt:~ tmcreynolds$ python -m tlaplus_jupyter.install
Installing Jupyter kernel spec
Downloading tla2tools.jar to /Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/site-packages/tlaplus_jupyter/vendor/tla2tools.jar
Traceback (most recent call last):
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 1344, in do_open
h.request(req.get_method(), req.selector, req.data, headers,
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1327, in request
self._send_request(method, url, body, headers, encode_chunked)
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1373, in _send_request
self.endheaders(body, encode_chunked=encode_chunked)
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1322, in endheaders
self._send_output(message_body, encode_chunked=encode_chunked)
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1081, in _send_output
self.send(msg)
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1025, in send
self.connect()
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/http/client.py", line 1468, in connect
self.sock = self._context.wrap_socket(self.sock,
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/ssl.py", line 455, in wrap_socket
return self.sslsocket_class._create(
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/ssl.py", line 1046, in _create
self.do_handshake()
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/ssl.py", line 1321, in do_handshake
self._sslobj.do_handshake()
ssl.SSLCertVerificationError: [SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c:1000)
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "", line 198, in _run_module_as_main
File "", line 88, in _run_code
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/site-packages/tlaplus_jupyter/install.py", line 72, in
main()
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/site-packages/tlaplus_jupyter/install.py", line 69, in main
urlretrieve(TOOLS_URI, jar_path)
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 240, in urlretrieve
with contextlib.closing(urlopen(url, data)) as fp:
^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 215, in urlopen
return opener.open(url, data, timeout)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 515, in open
response = self._open(req, data)
^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 532, in _open
result = self._call_chain(self.handle_open, protocol, protocol +
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 492, in _call_chain
result = func(*args)
^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 1392, in https_open
return self.do_open(http.client.HTTPSConnection, req,
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/urllib/request.py", line 1347, in do_open
raise URLError(err)
urllib.error.URLError: <urlopen error [SSL: CERTIFICATE_VERIFY_FAILED] certificate verify failed: unable to get local issuer certificate (_ssl.c:1000)>
The Toolbox asks users to activate execution statistics to guide TLC development (see screenshot below). Please add similar functionality to your extension. Technically, a file called esc.txt is dropped into ~/.tlaplus/
whose first line is either a random identifier, "RANDOM_IDENTIFIER", or "NO_STATISTICS" (see https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/util/ExecutionStatisticsCollector.java).
Plaintext of the dialog's content is found online too: https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/util/ExecutionStatisticsCollector.md. The statistics are publicly available: https://exec-stats.tlapl.us/tlaplus.csv. To report TLA+ Jupyter notebook as TLC's frontend, pass -Dtlc2.TLC.ide=tlaplus_jupyter
as a Java system property.
@alygin VSCode extension will soon ask users to opt-in too.
Thanks for sharing TLA+ Jupyter notebooks with the community! I've already added your releases to the aggregator at http://wall.tlapl.us.
Hello. Im getting the following error when trying to run any cell with TLA+ Kernel (python 3 kernel works fine):
Traceback (most recent call last):
File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 104, in do_execute
return self.eval_expr(payload)
File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 257, in eval_expr
out, rc = self.run_proc(cmd, workspace)
File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 53, in run_proc
proc = subprocess.Popen(cmd, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, cwd=workspace)
File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\subprocess.py", line 854, in __init__
self._execute_child(args, executable, preexec_fn, close_fds,
File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\subprocess.py", line 1307, in _execute_child
hp, ht, pid, tid = _winapi.CreateProcess(executable, args,
FileNotFoundError: [WinError 2] The system cannot find the file specified
System details:
The "kernel.json" file:
{"argv": ["C:\\Users\\foo\\AppData\\Local\\Programs\\Python\\Python38-32\\python.exe", "-m", "tlaplus_jupyter", "-f", "{connection_file}"], "codemirror_mode": "tlaplus", "display_name": "TLA\u207a", "language": "tla"}
Installation into virtualenv with python3 complains about error: invalid command 'bdist_wheel'
on Ubuntu 18.04. However, TLA+ notebook appears to work fine (unless unknown unknown).
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ python3 -m venv tlaplus
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ ls
tlaplus
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ source tlaplus/bin/activate
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ pip3 install tlaplus_jupyter
Collecting tlaplus_jupyter
Downloading https://files.pythonhosted.org/packages/85/8e/90046bddfb9076e4e96c2b40171b9680be96c7356a3ef1b394d454a7367b/tlaplus_jupyter-0.1.1-py3-none-any.whl
Collecting future>=0.16 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/45/0b/38b06fd9b92dc2b68d58b75f900e97884c45bedd2ff83203d933cf5851c9/future-0.18.2.tar.gz (829kB)
100% |████████████████████████████████| 829kB 1.6MB/s
Collecting ipykernel>=4.10 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/e1/92/8fec943b5b81078399f969f00557804d884c96fcd0bc296e81a2ed4fd270/ipykernel-5.1.3-py3-none-any.whl (116kB)
100% |████████████████████████████████| 122kB 7.1MB/s
Collecting psutil>=4 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/73/93/4f8213fbe66fc20cb904f35e6e04e20b47b85bee39845cc66a0bcf5ccdcb/psutil-5.6.7.tar.gz (448kB)
100% |████████████████████████████████| 450kB 3.2MB/s
Collecting notebook>=5 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/f5/69/d2ffaf7efc20ce47469187e3a41e6e03e17b45de5a6559f4e7ab3eace5e1/notebook-6.0.2-py3-none-any.whl (9.7MB)
100% |████████████████████████████████| 9.7MB 164kB/s
Collecting traitlets>=4.1.0 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ca/ab/872a23e29cec3cf2594af7e857f18b687ad21039c1f9b922fac5b9b142d5/traitlets-4.3.3-py2.py3-none-any.whl (75kB)
100% |████████████████████████████████| 81kB 7.7MB/s
Collecting ipython>=5.0.0 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/00/17/c3e3dd337cc601b47c599441786fd4e888b587a2a512d38ac752274fd0bc/ipython-7.10.1-py3-none-any.whl (778kB)
100% |████████████████████████████████| 778kB 1.4MB/s
Collecting tornado>=4.2 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/30/78/2d2823598496127b21423baffaa186b668f73cd91887fcef78b6eade136b/tornado-6.0.3.tar.gz (482kB)
100% |████████████████████████████████| 491kB 1.7MB/s
Collecting jupyter-client (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/13/81/fe0eee1bcf949851a120254b1f530ae1e01bdde2d3ab9710c6ff81525061/jupyter_client-5.3.4-py2.py3-none-any.whl (92kB)
100% |████████████████████████████████| 92kB 2.8MB/s
Collecting jupyter-core>=4.6.0 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/fb/82/86437f661875e30682e99d04c13ba6c216f86f5f6ca6ef212d3ee8b6ca11/jupyter_core-4.6.1-py2.py3-none-any.whl (82kB)
100% |████████████████████████████████| 92kB 3.7MB/s
Collecting ipython-genutils (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/fa/bc/9bd3b5c2b4774d5f33b2d544f1460be9df7df2fe42f352135381c347c69a/ipython_genutils-0.2.0-py2.py3-none-any.whl
Collecting jinja2 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/65/e0/eb35e762802015cab1ccee04e8a277b03f1d8e53da3ec3106882ec42558b/Jinja2-2.10.3-py2.py3-none-any.whl (125kB)
100% |████████████████████████████████| 133kB 6.9MB/s
Collecting terminado>=0.8.1 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ff/96/1d9a2c23990aea8f8e0b5c3b6627d03196a73771a17a2d9860bbe9823ab6/terminado-0.8.3-py2.py3-none-any.whl
Collecting nbconvert (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/79/6c/05a569e9f703d18aacb89b7ad6075b404e8a4afde2c26b73ca77bb644b14/nbconvert-5.6.1-py2.py3-none-any.whl (455kB)
100% |████████████████████████████████| 460kB 1.8MB/s
Collecting pyzmq>=17 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/94/07/cee3d328a2e13f9de1c2b62cced7a389b61ac81424f2e377f3dc9d668282/pyzmq-18.1.1-cp36-cp36m-manylinux1_x86_64.whl (1.1MB)
100% |████████████████████████████████| 1.1MB 1.2MB/s
Collecting nbformat (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/da/27/9a654d2b6cc1eaa517d1c5a4405166c7f6d72f04f6e7eea41855fe808a46/nbformat-4.4.0-py2.py3-none-any.whl (155kB)
100% |████████████████████████████████| 163kB 6.0MB/s
Collecting prometheus-client (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/b3/23/41a5a24b502d35a4ad50a5bb7202a5e1d9a0364d0c12f56db3dbf7aca76d/prometheus_client-0.7.1.tar.gz
Collecting Send2Trash (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/49/46/c3dc27481d1cc57b9385aff41c474ceb7714f7935b1247194adae45db714/Send2Trash-1.5.0-py3-none-any.whl
Collecting six (from traitlets>=4.1.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/65/26/32b8464df2a97e6dd1b656ed26b2c194606c16fe163c695a992b36c11cdf/six-1.13.0-py2.py3-none-any.whl
Collecting decorator (from traitlets>=4.1.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/8f/b7/f329cfdc75f3d28d12c65980e4469e2fa373f1953f5df6e370e84ea2e875/decorator-4.4.1-py2.py3-none-any.whl
Requirement already satisfied: setuptools>=18.5 in ./tlaplus/lib/python3.6/site-packages (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Collecting pickleshare (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/9a/41/220f49aaea88bc6fa6cba8d05ecf24676326156c23b991e80b3f2fc24c77/pickleshare-0.7.5-py2.py3-none-any.whl
Collecting pygments (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/be/39/32da3184734730c0e4d3fa3b2b5872104668ad6dc1b5a73d8e477e5fe967/Pygments-2.5.2-py2.py3-none-any.whl (896kB)
100% |████████████████████████████████| 901kB 1.4MB/s
Collecting pexpect; sys_platform != "win32" (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/0e/3e/377007e3f36ec42f1b84ec322ee12141a9e10d808312e5738f52f80a232c/pexpect-4.7.0-py2.py3-none-any.whl (58kB)
100% |████████████████████████████████| 61kB 4.4MB/s
Collecting jedi>=0.10 (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/55/54/da994f359e4e7da4776a200e76dbc85ba5fc319eefc22e33d55296d95a1d/jedi-0.15.1-py2.py3-none-any.whl (1.0MB)
100% |████████████████████████████████| 1.0MB 1.7MB/s
Collecting backcall (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/84/71/c8ca4f5bb1e08401b916c68003acf0a0655df935d74d93bf3f3364b310e0/backcall-0.1.0.tar.gz
Collecting prompt-toolkit!=3.0.0,!=3.0.1,<3.1.0,>=2.0.0 (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/7f/1f/e145dd467dc9b0e6f1e64232c03119498dfec497e383f1e8be9f83eaa97e/prompt_toolkit-3.0.2-py3-none-any.whl (344kB)
100% |████████████████████████████████| 348kB 3.8MB/s
Collecting python-dateutil>=2.1 (from jupyter-client->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/d4/70/d60450c3dd48ef87586924207ae8907090de0b306af2bce5d134d78615cb/python_dateutil-2.8.1-py2.py3-none-any.whl (227kB)
100% |████████████████████████████████| 235kB 7.5MB/s
Collecting MarkupSafe>=0.23 (from jinja2->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/b2/5f/23e0023be6bb885d00ffbefad2942bc51a620328ee910f64abe5a8d18dd1/MarkupSafe-1.1.1-cp36-cp36m-manylinux1_x86_64.whl
Collecting ptyprocess; os_name != "nt" (from terminado>=0.8.1->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/d1/29/605c2cc68a9992d18dada28206eeada56ea4bd07a239669da41674648b6f/ptyprocess-0.6.0-py2.py3-none-any.whl
Collecting defusedxml (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/06/74/9b387472866358ebc08732de3da6dc48e44b0aacd2ddaa5cb85ab7e986a2/defusedxml-0.6.0-py2.py3-none-any.whl
Collecting entrypoints>=0.2.2 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ac/c6/44694103f8c221443ee6b0041f69e2740d89a25641e62fb4f2ee568f2f9c/entrypoints-0.3-py2.py3-none-any.whl
Collecting mistune<2,>=0.8.1 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/09/ec/4b43dae793655b7d8a25f76119624350b4d65eb663459eb9603d7f1f0345/mistune-0.8.4-py2.py3-none-any.whl
Collecting bleach (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ab/05/27e1466475e816d3001efb6e0a85a819be17411420494a1e602c36f8299d/bleach-3.1.0-py2.py3-none-any.whl (157kB)
100% |████████████████████████████████| 163kB 5.4MB/s
Collecting testpath (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/1b/9e/1a170feaa54f22aeb5a5d16c9015e82234275a3c8ab630b552493f9cb8a9/testpath-0.4.4-py2.py3-none-any.whl (163kB)
100% |████████████████████████████████| 174kB 4.4MB/s
Collecting pandocfilters>=1.4.1 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/4c/ea/236e2584af67bb6df960832731a6e5325fd4441de001767da328c33368ce/pandocfilters-1.4.2.tar.gz
Collecting jsonschema!=2.5.0,>=2.4 (from nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/c5/8f/51e89ce52a085483359217bc72cdbf6e75ee595d5b1d4b5ade40c7e018b8/jsonschema-3.2.0-py2.py3-none-any.whl (56kB)
100% |████████████████████████████████| 61kB 14.1MB/s
Collecting parso>=0.5.0 (from jedi>=0.10->ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/a3/bd/bf4e5bd01d79906e5b945a7af033154da49fd2b0d5b5c705a21330323305/parso-0.5.1-py2.py3-none-any.whl (95kB)
100% |████████████████████████████████| 102kB 6.0MB/s
Collecting wcwidth (from prompt-toolkit!=3.0.0,!=3.0.1,<3.1.0,>=2.0.0->ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/7e/9f/526a6947247599b084ee5232e4f9190a38f398d7300d866af3ab571a5bfe/wcwidth-0.1.7-py2.py3-none-any.whl
Collecting webencodings (from bleach->nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/f4/24/2a3e3df732393fed8b3ebf2ec078f05546de641fe1b667ee316ec1dcf3b7/webencodings-0.5.1-py2.py3-none-any.whl
Collecting pyrsistent>=0.14.0 (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/6c/6f/c1a2e8da80a0029f6b618d7e20e1a6f2a61dd04e2e54225309c2cc4268f7/pyrsistent-0.15.6.tar.gz (107kB)
100% |████████████████████████████████| 112kB 4.8MB/s
Collecting importlib-metadata; python_version < "3.8" (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/e7/59/cc2a91f71957dfb32f25e6b19d8c6dfdbe524e0998e7f7a58a75126ce0cd/importlib_metadata-1.2.0-py2.py3-none-any.whl
Collecting attrs>=17.4.0 (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/a2/db/4313ab3be961f7a763066401fb77f7748373b6094076ae2bda2806988af6/attrs-19.3.0-py2.py3-none-any.whl
Collecting zipp>=0.5 (from importlib-metadata; python_version < "3.8"->jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/74/3d/1ee25a26411ba0401b43c6376d2316a71addcc72ef8690b101b4ea56d76a/zipp-0.6.0-py2.py3-none-any.whl
Collecting more-itertools (from zipp>=0.5->importlib-metadata; python_version < "3.8"->jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/5c/1d/3df99de956abb96305956e09e6a1fa955883295e1f28808f9c97b3d5364d/more_itertools-8.0.0-py3-none-any.whl (40kB)
100% |████████████████████████████████| 40kB 8.1MB/s
Building wheels for collected packages: future, psutil, tornado, prometheus-client, backcall, pandocfilters, pyrsistent
Running setup.py bdist_wheel for future ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/future/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmp08sq6tpepip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for future
Running setup.py clean for future
Running setup.py bdist_wheel for psutil ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/psutil/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpe5ce7jbnpip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for psutil
Running setup.py clean for psutil
Running setup.py bdist_wheel for tornado ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/tornado/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpic0kki29pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for tornado
Running setup.py clean for tornado
Running setup.py bdist_wheel for prometheus-client ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/prometheus-client/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpf7gc1390pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for prometheus-client
Running setup.py clean for prometheus-client
Running setup.py bdist_wheel for backcall ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/backcall/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpg5z84iy4pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for backcall
Running setup.py clean for backcall
Running setup.py bdist_wheel for pandocfilters ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/pandocfilters/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpj1ahs2w0pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for pandocfilters
Running setup.py clean for pandocfilters
Running setup.py bdist_wheel for pyrsistent ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/pyrsistent/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpfdmq53w3pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for pyrsistent
Running setup.py clean for pyrsistent
Failed to build future psutil tornado prometheus-client backcall pandocfilters pyrsistent
Installing collected packages: future, six, decorator, ipython-genutils, traitlets, pickleshare, pygments, ptyprocess, pexpect, parso, jedi, backcall, wcwidth, prompt-toolkit, ipython, tornado, jupyter-core, python-dateutil, pyzmq, jupyter-client, ipykernel, psutil, MarkupSafe, jinja2, terminado, defusedxml, entrypoints, pyrsistent, more-itertools, zipp, importlib-metadata, attrs, jsonschema, nbformat, mistune, webencodings, bleach, testpath, pandocfilters, nbconvert, prometheus-client, Send2Trash, notebook, tlaplus-jupyter
Running setup.py install for future ... done
Running setup.py install for backcall ... done
Running setup.py install for tornado ... done
Running setup.py install for psutil ... done
Running setup.py install for pyrsistent ... done
Running setup.py install for pandocfilters ... done
Running setup.py install for prometheus-client ... done
Successfully installed MarkupSafe-1.1.1 Send2Trash-1.5.0 attrs-19.3.0 backcall-0.1.0 bleach-3.1.0 decorator-4.4.1 defusedxml-0.6.0 entrypoints-0.3 future-0.18.2 importlib-metadata-1.2.0 ipykernel-5.1.3 ipython-7.10.1 ipython-genutils-0.2.0 jedi-0.15.1 jinja2-2.10.3 jsonschema-3.2.0 jupyter-client-5.3.4 jupyter-core-4.6.1 mistune-0.8.4 more-itertools-8.0.0 nbconvert-5.6.1 nbformat-4.4.0 notebook-6.0.2 pandocfilters-1.4.2 parso-0.5.1 pexpect-4.7.0 pickleshare-0.7.5 prometheus-client-0.7.1 prompt-toolkit-3.0.2 psutil-5.6.7 ptyprocess-0.6.0 pygments-2.5.2 pyrsistent-0.15.6 python-dateutil-2.8.1 pyzmq-18.1.1 six-1.13.0 terminado-0.8.3 testpath-0.4.4 tlaplus-jupyter-0.1.1 tornado-6.0.3 traitlets-4.3.3 wcwidth-0.1.7 webencodings-0.5.1 zipp-0.6.0
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ python3 -m tlaplus_jupyter.install
Installing Jupyter kernel spec
Downloading tla2tools.jar to /home/markus/dump/tlaplus_jupyter/tlaplus/lib/python3.6/site-packages/tlaplus_jupyter/vendor/tla2tools.jar
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.