primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-03 15:39:41 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: format with alejandra

Browse source
This commit is contained in:
Primrose 2025-02-08 12:05:12 +01:00
parent d5cad148da
commit 95eb4b71e0
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
118 changed files with 1291 additions and 1703 deletions
Download patch file Download diff file Expand all files Collapse all files

27
nix/packages/why3.nix
View file

@ -5,24 +5,21 @@
cvc4,
z3_4_12,
alt-ergo,
}:
let
}: let
provers = [
alt-ergo
cvc4
z3_4_12
];
in
symlinkJoin {
name = "why3";
# Generate configuration in the store, and wrap why3 with the corresponding option
paths = [ (why3.override { version = "1.6.0"; }) ];
buildInputs = provers;
nativeBuildInputs = [ makeWrapper ];
postBuild = ''
$out/bin/why3 config detect --config=$out/why3.conf
wrapProgram $out/bin/why3 --add-flags "--config=$out/why3.conf"
'';
}
symlinkJoin {
name = "why3";
# Generate configuration in the store, and wrap why3 with the corresponding option
paths = [(why3.override {version = "1.6.0";})];
buildInputs = provers;
nativeBuildInputs = [makeWrapper];
postBuild = ''
$out/bin/why3 config detect --config=$out/why3.conf
wrapProgram $out/bin/why3 --add-flags "--config=$out/why3.conf"
'';
}