coqidetop.opt returned non-zero exit status 2 #52
Comments
|
Hi. |
$ coqidetop.opt --version
Fatal error: exception Not_found
$ coqidetop.opt
Fatal error: exception Not_found |
|
Ah, but digging further, the above error occur only when running within our And indeed the coq kernel seems to work fine there. Could this be because running within a docker container? Does the I'll now try on a local docker container. |
|
Ok, it looks like coq ide top is somehow broken in your installation. For context, Unfortunately, I can't suggest much based on this error message. My guess is that there is some sort of dependency (of I would try installing different version of In case this helps, here are mamba packages that got installed on my machine after installing Machine OS info: I can confirm that with this setup coq ide top works fine. Also, is there any way I could reproduce your problem on my end? Maybe, cold look into this over weekend. |
No, nothing like that. I was able to run ci tests for kernel within Docker (based on |
|
Hmm. Two suggestions to reproduce: Directly with docker: If you have an account on the Federation Education Recherche: Thank you for the quick feedback! It would be nice to be able to make the coq |
|
Note that by installing Coq using conda, it's likely that you will be stuck on Coq 8.12 forever as the Coq package (and also the OCaml package) have been unmaintained there for many years. You should consider installing Coq with either opam, Nix, Snap, or even basing your Docker image on the official Coq Docker images. Actually, now that I think of it, even installing Coq using APT (if you are on Debian/Ubuntu) would give you a much more up-to-date (and less likely to be broken) version. For reference, see: |
|
Thanks @Zimmi48 for the feedback. At this stage, we are stuck in our JupyterHub |
Hello,
With @amahboubi, we are trying to use coq_jupyter in Jupyter Lab. The kernel
is however crashing on start up. Any clue?
Thanks in advance,
How to reproduce
log for: jupyter console --kernel=coq
Fatal error: exception Not_found [IPKernelApp] ERROR | CoqtopError has occured. Scheduling shutdown. Traceback (most recent call last): File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 39, in __init__ banner = check_output([cmd, '--version']).decode('utf-8') File "/opt/conda/lib/python3.10/subprocess.py", line 421, in check_output return run(*popenargs, stdout=PIPE, timeout=timeout, check=True, File "/opt/conda/lib/python3.10/subprocess.py", line 526, in run raise CalledProcessError(retcode, process.args, subprocess.CalledProcessError: Command '['coqidetop.opt', '--version']' returned non-zero exit status 2.During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/kernel.py", line 59, in wrapper
return function(self, *args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/kernel.py", line 100, in init
self._coqtop = Coqtop(self, self.coqtop_executable, self.coqtop_args)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 73, in init
raise_with_traceback(CoqtopError("Cause: {}".format(repr(e))))
File "/opt/conda/lib/python3.10/site-packages/future/utils/init.py", line 449, in raise_with_traceback
raise exc.with_traceback(traceback)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 39, in init
banner = check_output([cmd, '--version']).decode('utf-8')
File "/opt/conda/lib/python3.10/subprocess.py", line 421, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/opt/conda/lib/python3.10/subprocess.py", line 526, in run
raise CalledProcessError(retcode, process.args,
coq_jupyter.coqtop.CoqtopError: Cause: CalledProcessError(2, ['coqidetop.opt', '--version'])
Traceback (most recent call last):
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 39, in init
banner = check_output([cmd, '--version']).decode('utf-8')
File "/opt/conda/lib/python3.10/subprocess.py", line 421, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/opt/conda/lib/python3.10/subprocess.py", line 526, in run
raise CalledProcessError(retcode, process.args,
subprocess.CalledProcessError: Command '['coqidetop.opt', '--version']' returned non-zero exit status 2.
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/opt/conda/lib/python3.10/runpy.py", line 196, in _run_module_as_main
return _run_code(code, main_globals, None,
File "/opt/conda/lib/python3.10/runpy.py", line 86, in _run_code
exec(code, run_globals)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/main.py", line 5, in
IPKernelApp.launch_instance(kernel_class=CoqKernel, args=argv)
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/application.py", line 1040, in launch_instance
app.initialize(argv)
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/application.py", line 113, in inner
return method(app, *args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/ipykernel/kernelapp.py", line 692, in initialize
self.init_kernel()
File "/opt/conda/lib/python3.10/site-packages/ipykernel/kernelapp.py", line 540, in init_kernel
kernel = kernel_factory(
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/kernel.py", line 59, in wrapper
return function(self, *args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/kernel.py", line 100, in init
self._coqtop = Coqtop(self, self.coqtop_executable, self.coqtop_args)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 73, in init
raise_with_traceback(CoqtopError("Cause: {}".format(repr(e))))
File "/opt/conda/lib/python3.10/site-packages/future/utils/init.py", line 449, in raise_with_traceback
raise exc.with_traceback(traceback)
File "/opt/conda/lib/python3.10/site-packages/coq_jupyter/coqtop.py", line 39, in init
banner = check_output([cmd, '--version']).decode('utf-8')
File "/opt/conda/lib/python3.10/subprocess.py", line 421, in check_output
return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
File "/opt/conda/lib/python3.10/subprocess.py", line 526, in run
raise CalledProcessError(retcode, process.args,
coq_jupyter.coqtop.CoqtopError: Cause: CalledProcessError(2, ['coqidetop.opt', '--version'])
Traceback (most recent call last):
File "/opt/conda/lib/python3.10/site-packages/jupyter_console/ptshell.py", line 434, in init_kernel_info
reply = self.client.get_shell_msg(timeout=1)
File "/opt/conda/lib/python3.10/site-packages/jupyter_client/utils.py", line 30, in wrapped
raise e
File "/opt/conda/lib/python3.10/site-packages/jupyter_client/utils.py", line 27, in wrapped
return loop.run_until_complete(future)
File "/opt/conda/lib/python3.10/site-packages/nest_asyncio.py", line 90, in run_until_complete
return f.result()
File "/opt/conda/lib/python3.10/asyncio/futures.py", line 201, in result
raise self._exception.with_traceback(self._exception_tb)
File "/opt/conda/lib/python3.10/asyncio/tasks.py", line 232, in __step
result = coro.send(None)
File "/opt/conda/lib/python3.10/site-packages/jupyter_client/client.py", line 143, in _async_get_shell_msg
return await self.shell_channel.get_msg(*args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/jupyter_client/channels.py", line 230, in get_msg
raise Empty
_queue.Empty
The above exception was the direct cause of the following exception:
Traceback (most recent call last):
File "/opt/conda/bin/jupyter-console", line 8, in
sys.exit(main())
File "/opt/conda/lib/python3.10/site-packages/jupyter_core/application.py", line 277, in launch_instance
return super().launch_instance(argv=argv, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/application.py", line 1040, in launch_instance
app.initialize(argv)
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/application.py", line 113, in inner
return method(app, *args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/jupyter_console/app.py", line 136, in initialize
self.init_shell()
File "/opt/conda/lib/python3.10/site-packages/jupyter_console/app.py", line 106, in init_shell
self.shell = ZMQTerminalInteractiveShell.instance(parent=self,
File "/opt/conda/lib/python3.10/site-packages/traitlets/config/configurable.py", line 551, in instance
inst = cls(*args, **kwargs)
File "/opt/conda/lib/python3.10/site-packages/jupyter_console/ptshell.py", line 352, in init
self.init_kernel_info()
File "/opt/conda/lib/python3.10/site-packages/jupyter_console/ptshell.py", line 437, in init_kernel_info
raise RuntimeError("Kernel didn't respond to kernel_info_request") from e
RuntimeError: Kernel didn't respond to kernel_info_request
The text was updated successfully, but these errors were encountered: