| 19 Feb 2026 |
 alexfmpe | so if your sbv patches fix it on master, you can probably target that | 23:44:18 |
| alexfmpe | * so if your sbv patches fixes aren't specific to latest versions you can probably target that | 23:44:40 |
| alexfmpe | * so if your sbv patches fixes aren't specific to latest versions you can probably target master | 23:44:45 |
 woobilicious | ahh okay, I'm just disabling tests. | 23:45:12 |
| alexfmpe | huh? | 23:45:13 |
| alexfmpe | you shouldn't need to call that unless you mess with the .yaml files or so | 23:45:52 |
| woobilicious | yeah I unmarked it as broken | 23:46:11 |
| alexfmpe | ah ok relaxing brokenness to tests | 23:46:34 |
| alexfmpe | * ah ok relaxing broken to broken tests | 23:46:44 |
| woobilicious | upstream says it's probably unrealistic for us to test it, they also take like 45mins to run | 23:47:55 |
| woobilicious | i.e. https://hydra.nixos.org/log/5hsi41vkklihxa78a0lmj49za0d9mifn-sbv-10.2.drv | 23:48:12 |
| alexfmpe | wth | 23:51:23 |
| woobilicious | yeah actually we don't even package mathsat, so tests can't pass without us doing that. | 23:54:17 |
| alexfmpe | can't they...like...have two test suites that both call the same thing but with different quickcheck iterations | 23:54:41 |
| alexfmpe | * can't they...like...have two test suites that both call the same thing but with different number of quickcheck iterations | 23:55:02 |
| alexfmpe | then their CI can run the fancy 45min thing, but distributors have a better choice than 45min or no tests | 23:55:29 |
| alexfmpe | * then their CI can run the fancy 45min thing, but distributors have more than the choice than 45min or no tests | 23:55:44 |
| alexfmpe | * then their CI can run the fancy 45min thing, but distributors have more than the choice between 45min or no tests | 23:55:50 |
| woobilicious | wtf why did regenerate-hackage-packages.sh change quotation in a script? | 23:56:17 |
| alexfmpe | quotation? | 23:56:33 |
| alexfmpe | there's something funny going on with regenerate-hackage-packages.sh where you're supposed to call it inside the top-level nix-shell so it will find treefmt and lint away | 23:57:03 |
| woobilicious | - preBuild = "export LD_LIBRARY_PATH=`pwd`/dist/build\${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH";
+ preBuild = ''export LD_LIBRARY_PATH=`pwd`/dist/build''${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH'';
| 23:57:06 |
| alexfmpe | ah there you go, it's the auto-linter | 23:57:18 |
| alexfmpe | nixpkgs CI has lint checks for months now | 23:57:35 |
| alexfmpe | huh hang on a sec, there's 3 sets of single quote pairs in there? | 23:58:14 |
| woobilicious | must be a bug lol | 23:59:04 |
| alexfmpe | I dunno how that works, but it works
nix-repl> ''export LD_LIBRARY_PATH=`pwd`/dist/build''${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH''
"export LD_LIBRARY_PATH=`pwd`/dist/build\${LD_LIBRARY_PATH:+:}$LD_LIBRARY_PATH"
| 23:59:13 |
| woobilicious | oh it lets you use ${} in the bash script | 23:59:40 |
| 20 Feb 2026 |
| alexfmpe | what is this madness
nix-repl> ''abc''def''
error: undefined variable 'def'''
at «string»:1:8:
1| ''abc''def''
| ^
nix-repl> ''abc''$def''
"abc$def"
| 00:00:19 |
| woobilicious | yeah it treats $ literally | 00:00:39 |
