Problem with deployment
Using the version 1.1, I can not prepare virtual machine with deployment scripts. The BenchExec archive is not extracted from .tar.gz and just renamed ino BanchExec file. I do not sure, is it important bug or not, as I just faced with it on the old version.
Updated by Evgeny Novikov 9 months ago
- Status changed from New to Closed
I fixed the issue with Consul in 51cef7ae2 to master. Besides, I added support of Klever addons provided as ZIP archives (without that Consul wasn't installed even with valid configuration).
Regarding the issue with BenchExec, we revealed with Pavel that it stems from the manually installed Python3 that lacks lzma support. We can try to support this, but I am not sure that we need this as various issues will happen from time to time. Instead, I prefer to specify an additional requirement that Python3 should have lzma support.