| 8 May 2024 |
 dxo | ok I can work with that | 12:39:57 |
| dxo | * hm but this works: kup install kontrol --version v0.1.113 | 12:40:33 |
 bruce.collie | ah nice! glad to hear | 13:05:02 |
| bruce.collie | if you share your nix code I can try and figure out why you couldn't import it as a flake input directly | 13:06:20 |
| bruce.collie | kup is just a python script that wraps the K ecosystem flakes | 13:06:52 |
| dxo | In reply to @xvwx:matrix.dapp.org.uk
like this: https://github.com/eth-sc-comp/benchmarks/blob/e24a7182b317ea122dd75fcd91308a3dc3140596/flake.nix#L10 the nix code is here | 13:38:51 |
| dxo | In reply to @_slack_runtimeverification_U02CDU166EL:matrix.org
kup is just a python script that wraps the K ecosystem flakes I'm wondering if kup has some additional binary caches that aren't present on my system maybe? | 13:39:26 |
| dxo | I have k-framework nixos and iog as caches | 13:39:36 |
 everett.hildenbrandt | Transferring the link because the Matrix - Slack bridge didn't:
> the nix code is here: https://github.com/eth-sc-comp/benchmarks/blob/e24a7182b317ea122dd75fcd91308a3dc3140596/flake.nix#L10 | 13:54:33 |
| dxo | thanks everett <3 | 13:58:33 |
| bruce.collie | Kup does do some additional caching (03BKBVPHT4?) but that should only be an optimisation rather than a correctness issue. I’ll take a look at the code and see if something obvious is wrong | 14:04:33 |
| everett.hildenbrandt | I was thinking that perhaps the change in location of pyk repo and such could be causing issues? Because with kup it's using caches of the built expressions, but with nix flake directly it's reaching for the repositories themselves? | 14:06:34 |
|  sam.balco joined the room. | 14:13:34 |
| sam.balco | It might well be that we keep that version in the k-framework-binary cachix cache but it fails to build from source because some external dependency we relied on is no longer available? | 14:13:34 |
| sam.balco | kup checks the binary cache first and just downloads the compiled versions of everything if there is ahit | 14:15:57 |
| dxo | aha | 14:50:15 |
| dxo | I only had the k-framework binary cache | 14:50:25 |
| dxo | Seems like adding k-framework-binary fixed the issues | 14:50:46 |
| dxo | double checking inside our docker container now | 14:50:54 |
| bruce.collie | Interesting, seems unfortunate that kup can break like that even if this is a bit of an edge case! | 15:18:17 |
| bruce.collie | running nix build .#k --print-build-logs --option substitute false --rebuild at v6.1.77 of K to see if I can reproduce | 15:18:31 |
| dxo | In reply to @xvwx:matrix.dapp.org.uk
double checking inside our docker container now yes confirmed that this was the issue | 15:28:46 |
| dxo | thank you for the help | 15:28:50 |
| dxo | very much appreciated <3 | 15:28:53 |
| 13 May 2024 |
|  David | W3F - OOO until 6 Jan changed their display name from David | W3F - OOO May 13 to David | W3F. | 06:31:59 |
| 24 May 2024 |
|  na ro (rona) joined the room. | 22:06:52 |
| 28 May 2024 |
|  Gregory Makodzeba joined the room. | 03:16:14 |
| 3 Jun 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F to David | W3F - Slow responses until June 7. | 13:11:35 |
| 4 Jun 2024 |
|  sam left the room. | 13:59:44 |
| 7 Jun 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F - Slow responses until June 7 to David | W3F. | 09:34:20 |
