Simplify the installation process #962
Comments
|
@iirekm Thank you for reporting this error! Typically the build process takes far less than an hour and is using nix to connect to cached binaries. I think the nix cache for the K framework failed and it is trying to build the K framework as a backup which may take a long time. We will investigate this straight away! Is there any more information you could give us about your system in case the team that reviews this needs a bit more detail to your setup? |
|
@iirekm thanks for reporting! We're currently investigating a suspected nix cache failure. Distributing binaries for Kontrol is challenging due to the underlying K framework dependencies, though we're exploring possible solutions. In the meantime, you can consider using a Docker image, which has Kontrol pre-installed: https://hub.docker.com/r/runtimeverificationinc/kontrol, or signing up for a free version on the KaaS platform where you can connect your repository and run Kontrol tests in cloud through the UI: https://kaas.runtimeverification.com. Please let me know if you have any questions! |
kup install kontroldownloads more that 4GB of data (!) and compiles something (already almost an hour and I can' see the end). It's crazy and drives off potential users.I'm also getting
warning: error: unable to download 'https://k-framework.cachix.org/nar/8e9844e480b607d9d98da17b0f1db0c592b7267f2c413f60176ba400cc13105f.nar.zst': HTTP error 500Why not provide precompiled binaries to 3 most common architectures developers use (Mac, Windows x64, Linux x64)?
The text was updated successfully, but these errors were encountered: